| Titel | ISBN-13 (ISBN-10) | Erschei- nungsjahr | andere Autoren |
|---|---|---|---|
| Applied Logic for Computer Scientists: Computational Deduction and Formal Proofs | 978-3-319-51651-6 (3-319-51651-5) | 2017 | |
| Interactive Theorem Proving: 8th International Conference, ITP 2017, Brasília, Brazil, September 26-29, 2017, Proceedings | 978-3-319-66106-3 (3-319-66106-X) | 2017 | César A. Muñoz |