| Titel | ISBN-13 (ISBN-10) | Erschei- nungsjahr | andere Autoren |
|---|---|---|---|
| Theorem Proving in Higher Order Logics: 9th International Conference, TPHOLs '96, Turku, Finland, August 26-30, 1996 - Proceedings | 978-3-540-61587-3 (3-540-61587-3) | 1996 | Joakim von Wright · John Harrison |
| Theorem Proving in Higher Order Logics: 11th International Conference, TPHOLs'98, Canberra, Australia, September 27 - October 1, 1998, Proceedings | 978-3-540-64987-8 (3-540-64987-5) | 1998 | Malcolm Newey |
Jamie Grant · Jan Grant · Jane Garnett · Jane Greenwood · Jayne Greenwood · Jean Gernet · Jean Girand · Jean Grondin · Jim Garnett · Jim Gorant · Jim Grant · Jim Greenwood · Jim Grindle · Joan Grant · Joan Greenwood · Joan Grundy · Joanne Grant · John Garnett · John Grande · John Grandits · John Grandy · John Grant · John Greenwood · John Grinder · John Gruender · John Grundy · Johnny Grant · Jon Grant