Y.B. · Yves Berthaud · Yves Bourdet
Cambridge University Press · Springer
| Titel | Art | ISBN-13 | Erschei- nungsjahr | andere Autoren | |
|---|---|---|---|---|---|
| From Semantics to Computer Science: Essays in Honour of Gilles Kahn | Hardcover | 978-0-521-51825-3 | 2009 | Gérard Huet · Jean-Jacques Lévy · Gordon Plotkin | |
| Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions | Taschenbuch | 978-3-642-05880-6 | 2010 | ||
| Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions | Gebunden | 978-3-540-20854-9 | 2004 | Pierre Castéran | |
| Theorem Proving in Higher Order Logics: 12th International Conference, TPHOLs'99, Nice, France, September 14-17, 1999, Proceedings | Paperback | 978-3-662-18341-0 | 2014 | Gilles Dowek · Andre Hirschowitz | |
| Theorem Proving in Higher Order Logics: 12th International Conference, TPHOLs'99, Nice, France, September 14-17, 1999, Proceedings | Taschenbuch | 978-3-540-66463-5 | 2008 | Laurent Thery · Andre Hirschowitz · Christine Paulin · Gilles Dowek | |