1. Applied logic for computer scientists : computational deduction and formal proofs /: computational deduction and formal proofs. (2017) Authors: Ayala-Rincón, M (Mauricio); Moura, Flávio L. C. de Record Type: Book Extent: 1 online resource (xviii, 150 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. Interactive theorem proving : 8th International Conference, ITP 2017, Brasília, Brazil, September 26-29, 2017, Proceedings /: 8th International Conference, ITP 2017, Brasília, Brazil, September 26-29, 2017, Proceedings. (2017) Editors: Ayala-Rincón, M (Mauricio); Muñoz, César A, 1968- Other Names: ITP (Conference), 8th Record Type: Book Extent: 1 online resource (xix, 532 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗