| Titel | Art | ISBN-13 (ISBN-10) | Erschei- nungsjahr | andere Autoren |
|---|---|---|---|---|
| Interactive Theorem Proving: Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings | Taschenbuch | 978-3-642-32346-1 (3-642-32346-4) | 2012 | Lennart Beringer |
| 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 | Elsa L. Gunter |
| 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 | " |
A.F. · Amy P. Felty · Ann Field · Ann Floyd · Anna Field · Anne Field · Anne Flood · Anne Flothow · Anne Fulda · Annie Féolde