| Titel | Art | ISBN-13 (ISBN-10) | Erschei- nungsjahr | andere Autoren |
|---|---|---|---|---|
| Theorem Proving in Higher Order Logics: 10th International Conference, TPHOLs'97, Murray Hill, NJ, USA, August 19-22, 1997, Proceedings | Paperback | 978-3-662-16933-9 (3-662-16933-9) | 2014 | Amy Felty |
| Theorem Proving in Higher Order Logics: 10th International Conference, TPHOLs'97, Murray Hill, NJ, USA, August 19-22, 1997, Proceedings | Taschenbuch | 978-3-540-63379-2 (3-540-63379-0) | 2008 | " |