search result

Cover von The seventeen provers of the world
Search for this author
Year: 2006
Publisher: Berlin, Springer
Series: Lecture notes in artificial intelligence; 3600
Media group: MONOGRAPHIE
Cover von Types for proofs and programs
international workshop, Berg en Dal, The Netherlands, April 24 - 28, 2002 : selected papers
Search for this author
Year: 2003
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 2646
Media group: MONOGRAPHIE
Cover von Logics and Type Systems in Theory and Practice
Essays Dedicated to Herman Geuvers on The Occasion of His 60th Birthday
Search for this author
Year: 2024
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science : Festschrift; 14560
Media group: MONOGRAPHIE
Cover von Interactive Theorem Proving
Second International Conference, Berg en Dal, The Netherlands, August 22 - 25, 2011, Proceedings
Search for this author
Year: 2011
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 6898
Media group: MONOGRAPHIE
OPEN V 11.1.0.0