Author/Creator: Ayala-Rincón, M (Mauricio) - British Library Electronic Legal Deposit Catalogue-Journal Issues and Articles Search Results

Author/Creator Ayala-Rincón, M (Mauricio)

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) ↗