search result

Cover von The resolution calculus
Author: Leitsch, Alexander Search for this author
Year: 1997
Publisher: Berlin, Springer
Series: Texts in theoretical computer science
Media group: MONOGRAPHIE
Cover von Computational logic and proof theory
5th Kurt Gödel colloquium : Vienna, Austria, August 25 - 29, 1997 : proceedings
Search for this author
Year: 1997
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 1289
Media group: MONOGRAPHIE
Cover von Computational logic and proof theory
third Kurt Gödel colloquium : Brno, Czech Republic, August 24 - 27, 1993 : proceedings
Search for this author
Year: 1993
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 713
Media group: MONOGRAPHIE
Cover von Methods of Cut-Elimination
Author: Baaz, Matthias; Leitsch, Alexander Search for this author
Year: 2011
Publisher: Berlin, Springer
Series: Trends in logic; 34
Media group: MONOGRAPHIE
Cover von Towards CERes in intuitionistic logic

Towards CERes in intuitionistic logic

Year: 2012
Media group: ARTICLE
Cover von Automated model building
Author: Caferra, Ricardo; Leitsch, Alexander; Peltier, Nicolas Search for this author
Year: 2004
Publisher: Boston, Kluwer
Series: Applied logic series; 31
Media group: MONOGRAPHIE
Cover von Automated reasoning
first international joint conference, Siena, Italy, June 18 - 22, 2001 : proceedings
Search for this author
Year: 2001
Publisher: Berlin, Springer
Series: Lecture notes in artificial intelligence; 2083
Media group: MONOGRAPHIE
Cover von Resolution methods for the decision problem
Search for this author
Year: 1993
Publisher: Berlin, Springer
Series: Lecture notes in artificial intelligence; 679
Media group: MONOGRAPHIE
OPEN V 11.1.0.0