| Titel | Art | ISBN-13 (ISBN-10) | Erschei- nungsjahr | andere Autoren |
|---|---|---|---|---|
| Interactive Theorem Proving: 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings | Taschenbuch | 978-3-319-43143-7 (3-319-43143-9) | 2016 | Stephan Merz |
| Interactive Theorem Proving: 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings | Paperback | 978-3-319-43145-1 (3-319-43145-5) | 2016 | " |
| Tests and Proofs: 9th International Conference, TAP 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 22-24, 2015. Proceedings | Taschenbuch | 978-3-319-21214-2 (3-319-21214-1) | 2015 | Nikolai Kosmatov |
C B · J.B. · J C · J Christian · Jasmin Blanchette