search result

Cover von Theorem proving with the real numbers
Author: Harrison, John Search for this author
Year: 1998
Publisher: Berlin, Springer
Series: CPHC/BCS distinguished dissertations
Media group: DISSERTATION
Cover von Theorem proving with the real numbers
Author: Harrison, John Robert Search for this author
Year: 1996
Publisher: Cambridge, University
Series: Technical Report / University of Cambridge / Computer Laboratory; 408
Media group: DISSERTATION
Cover von Handbook of Practical Logic and Automated Reasoning
Author: Harrison, John Search for this author
Year: 2009
Publisher: Cambridge, Cambridge University Press
Media group: MONOGRAPHIE
Cover von Theorem proving in higher order logics
13th international conference : Portland, OR, USA, August 14 - 18, 2000 : proceedings
Search for this author
Year: 2000
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 1869
Media group: MONOGRAPHIE
Cover von Theorem proving in higher order logics
9th international conference : Turku, Finland, August 26 - 30, 1996 : proceedings
Search for this author
Year: 1996
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 1125
Media group: MONOGRAPHIE
Cover von Computer science
theory and applications : first international computer science symposium in Russia, St. Petersburg, Russia, June 8 - 12, 2006 : proceedings
Search for this author
Year: 2006
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 3967
Media group: MONOGRAPHIE
Cover von Front Matter, Table of Contents, Preface, Conference Organization

Front Matter, Table of Contents, Preface, Conference Organization

Year: 2019
Media group: LIPIcs
Cover von 10th International Conference on Interactive Theorem Proving
ITP 2019, September 9 - 12, 2019, Portland, OR, USA
Search for this author
Year: 2019
Publisher: Wadern, LZI
Series: Leibniz International Proceedings in Informatics; 141
Media group: LIPIcs
OPEN V 11.1.0.0