Cite
APA Citation
Ayala-Rincón, M. (., & Moura, F. L. C. d. (2017). Applied logic for computer scientists : computational deduction and formal proofs. Cham, Switzerland : Springer. http://access.bl.uk/ark:/81055/vdc_100069644236.0x000001
This is an interim version of our Electronic Legal Deposit Catalogue-eJournals and eBooks while we continue to recover from a cyber-attack.
Ayala-Rincón, M. (., & Moura, F. L. C. d. (2017). Applied logic for computer scientists : computational deduction and formal proofs. Cham, Switzerland : Springer. http://access.bl.uk/ark:/81055/vdc_100069644236.0x000001