Picture for Claus-Peter Wirth

Claus-Peter Wirth

A Simplified and Improved Free-Variable Framework for Hilbert's epsilon as an Operator of Indefinite Committed Choice

Add code
Feb 01, 2017
Figure 1 for A Simplified and Improved Free-Variable Framework for Hilbert's epsilon as an Operator of Indefinite Committed Choice
Viaarxiv icon

The RatioLog Project: Rational Extensions of Logical Reasoning

Add code
Jul 30, 2015
Figure 1 for The RatioLog Project: Rational Extensions of Logical Reasoning
Figure 2 for The RatioLog Project: Rational Extensions of Logical Reasoning
Figure 3 for The RatioLog Project: Rational Extensions of Logical Reasoning
Viaarxiv icon

Automation of Mathematical Induction as part of the History of Logic

Add code
Jul 28, 2014
Figure 1 for Automation of Mathematical Induction as part of the History of Logic
Figure 2 for Automation of Mathematical Induction as part of the History of Logic
Figure 3 for Automation of Mathematical Induction as part of the History of Logic
Figure 4 for Automation of Mathematical Induction as part of the History of Logic
Viaarxiv icon

Lectures on Jacques Herbrand as a Logician

Add code
May 27, 2014
Figure 1 for Lectures on Jacques Herbrand as a Logician
Viaarxiv icon

David Poole's Specificity Revised

Add code
Nov 24, 2013
Viaarxiv icon

Hilbert's epsilon as an Operator of Indefinite Committed Choice

Add code
Jan 16, 2012
Figure 1 for Hilbert's epsilon as an Operator of Indefinite Committed Choice
Viaarxiv icon

A Self-Contained and Easily Accessible Discussion of the Method of Descente Infinie and Fermat's Only Explicitly Known Proof by Descente Infinie

Add code
Dec 14, 2010
Viaarxiv icon

Progress in Computer-Assisted Inductive Theorem Proving by Human-Orientedness and Descente Infinie?

Add code
Sep 01, 2010
Viaarxiv icon

Full First-Order Sequent and Tableau Calculi With Preservation of Solutions and the Liberalized delta-Rule but Without Skolemization

Add code
Feb 21, 2009
Viaarxiv icon

An Algebraic Dexter-Based Hypertext Reference Model

Add code
Feb 20, 2009
Figure 1 for An Algebraic Dexter-Based Hypertext Reference Model
Figure 2 for An Algebraic Dexter-Based Hypertext Reference Model
Figure 3 for An Algebraic Dexter-Based Hypertext Reference Model
Viaarxiv icon