G. Huet · Gérard Houdou · Gerhard Heide
title | media type | ISBN-13 | year of publica- tion | other author(s) | |
---|---|---|---|---|---|
From Semantics to Computer Science: Essays in Honour of Gilles Kahn | Hardcover | 978-0-521-51825-3 | 2009 | Yves Bertot · Gérard Huet · Jean-Jacques Lévy · Gordon Plotkin | |
Logical Environments | " | 978-0-521-43312-9 | 1993 | Gordon Plotkin | |
Logical Foundations of Functional Programming | " | 978-0-201-17234-8 | 1990 | ||
Logical Frameworks | Printed Access Code | 978-0-511-56980-7 | 2010 | G. Plotkin | |
Logical Frameworks | Hardcover | 978-0-521-41300-8 | 1991 | " | |
Sanskrit Computational Linguistics: First and Second International Symposia Rocquencourt, France, October 29-31, 2007 Providence, RI, USA, May 15-17, ... Notes in Computer Science, Band 5402) | Taschenbuch | 978-3-642-00154-3 | 2009 | Amba Kulkarni · Peter Scharf | |
Sanskrit Computational Linguistics: Third International Symposium, Hyderabad, India, January 15-17, 2009. Proceedings | " | 978-3-540-93884-2 | 2008 | Amba Kulkarni · Gérard Huet |
Addison-Wesley · Cambridge University Press · Springer