| Titel | ISBN-13 | Erschei- nungsjahr | andere Autoren |
|---|---|---|---|
| Fundamentals of Artificial Intelligence: An Advanced Course | 978-3-540-18265-8 | 1987 | Wolfgang Bibel · Philippe Jorrand · A.W. Biermann · J.P. Delgrande · J. Mylopoulos · E. Shapiro · M.E. Stickel |
| Fundamentals of Artificial Intelligence: An Advanced Course | 978-3-540-16782-2 | 1986 | Wolfgang Bibel · A.W. Biermann · J.P. Delgrande · Philippe Jorrand · J. Mylopoulos · E. Shapiro · M.E. Stickel |
| Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions | 978-3-642-05880-6 | 2010 | Yves Bertot · C. Paulin-Mohring · Pierre Castéran |
| Logic, Algebra, and Computation: International Summer School | 978-3-540-54315-2 | 1991 | Friedrich L. Bauer · F.L. Bauer · W. Brauer · J.A. Robinson · H. Schwichtenberg |
G. Haywood · G. Head · G. Hewitt · G. Heywood · G. Howat · GE Hyde · Gédéon Busken Huet · Gerard Huet · Gohei Hata · Guy Haywood · Guy Huot