JACQUES HERBRAND: LIFE, LOGIC, AND AUTOMATED DEDUCTION

by Claus-Peter Wirth , Jörg Siekmann , Christoph Benzmüller , Serge Autexier

Active Bibliography

10 Knowledge Representation and Classical Logic – Vladimir Lifschitz, Leora Morgenstern
Chapter 1 Knowledge Representation and Classical Logic – Edited F. Van Harmelen, V. Lifschitz, B. Porter, Vladimir Lifschitz, Leora Morgenstern, David Plaisted
Kanger's Choices in Automated Reasoning – Anatoli Degtyarev, Andrei Voronkov
4 Learning and Deduction in Neural Networks and Logic – Ekaterina Komendantskaya - 2007
2 Historical Projects in Discrete Mathematics and Computer Science – Janet Barnett, Guram Bezhanishvili, Hing Leung, Jerry Lodder, David Pengelley, Desh Ranjan
5 The history and concept of computability – Robert I. Soare - 1999
32 Computability and recursion – Robert I. Soare - 1996
UNDECIDABLE PROBLEMS: A SAMPLER – Bjorn Poonen
2 Hilbert’s epsilon as an operator of indefinite committed choice – Claus-peter Wirth - 2006
Progress in Computer-Assisted Inductive . . . – Claus-peter Wirth - 2006
52 Partition-Based Logical Reasoning for First-Order and Propositional Theories – Eyal Amir, Sheila Mcilraith - 2000
Understanding Intuitionism – Edward Nelson, I Have Proved Ab - 1997
19 Higher Order Logic – Daniel Leivant - 1994
8 Analysis and Transformation of Proof Procedures – David André de Waal - 1994
6 The Structure of Differential Invariants and Differential Cut Elimination – André Platzer - 2011
10 Disjoint NP-Pairs and . . . – Olaf Beyersdorff
5 Nonmonotonic Reasoning – V. W. Marek, A. Nerode - 1993
4 Herbrand award acceptance speech – Peter B. Andrews - 2003
Resolution – Tomer Líbal, Betreuung Univ. Prof, Dr. Phil Alex, Er Leitsch, Technische Universität Wien, Tomer Líbal, Advisor Univ. Prof, Dr. Phil Alex, Er Leitsch, Technische Universität Wien, Tomer Líbal, Bruno Woltzenlogel Paleo, Martin Riener, David Cerna, Mikheil Rukhaia, Paolo Baldi