26 treff

automatisk deduksjon
10th International Conference on Automated Deduction : Kaiserslautern, FRG, July 24-27, 1990 : proceedings
International Conference on Automated Deduction
Bok Språk ikke angitt 1990 · Vis mer
Automated deduction in geometry : 4th international workshop, ADG 2002, Hagenberg Castle, Austria, September 4-6, 2002 : revised papers
International Workshop on Automated Deduction in Geometry
Bok Engelsk 2004 · Vis mer
Vis flere utgaver
Vis flere utgaver
Natural and artificial reasoning : an exploration of modelling human thinking
Addis, T. R..
Bok Engelsk 2014 · Vis mer
Automated deduction in geometry : 5th international workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004 : revised papers
International Workshop on Automated Deduction in Geometry
Bok Engelsk 2006 · Vis mer
Automated deduction in geometry : third international workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000 : revised papers
International Workshop on Automated Deduction in Geometry
Bok Engelsk 2001 · Vis mer
Automated deduction - CADE-14 : 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13-17, 1997 : proceedings
International Conference on Automated Deduction
Bok Engelsk 1997 · Vis mer
Vis flere utgaver
Vis flere utgaver
Automated deduction - CADE-12 : 12th International Conference on Automated Deduction, Nancy, France, June 26-July 1, 1994 : proceedings
International Conference on Automated Deduction
Bok Engelsk 1994 · Vis mer
Automated deduction : a basis for applications. III. Applications

Bok Engelsk 1998 · Vis mer
An Herbrand theorem for a modal logic
Jervell, Herman Ruge
Bok Engelsk 1972 · Vis mer
Automated deduction : a basis for applications. II. Calculi and methods

Bok Engelsk 1998 · Vis mer
Automation of reasoning. 1. Classical papers on computational logic 1957-1966

Bok Engelsk 1983 · Vis mer
On Skolem and Herbrand theorems for intuitionistic logic
by Herman Ruge Jervell
Bok Engelsk 1972 · Vis mer
Automation of reasoning. 2. Classical papers on computational logic 1967-1970

Bok Engelsk 1983 · Vis mer
Classical papers on computational logic 1957-1966

Bok Engelsk 1983 · Vis mer
Automated reasoning : second international joint conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004 : proceedings
IJCAR 2004
Bok Engelsk 2004 · Vis mer
Vis flere utgaver
Vis flere utgaver
Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX 2000, St Andrews, Scotland, UK, July 3-7, 2000 : proceedings
TABLEAUX 2000
Bok Engelsk 2000 · Vis mer
Automated reasoning : third international joint conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006 : proceedings
IJCAR 2006
Bok Engelsk 2006 · Vis mer
Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005 : proceedings
TABLEAUX 2005
Bok Engelsk 2005 · Vis mer
Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX 2003, Rome, Italy, September 9-12, 2003 : proceedings
TABLEAUX 2003
Bok Engelsk 2003 · Vis mer
Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX 2002, Copenhagen, Denmark, July 30-August 1, 2002 : proceedings
TABLEAUX 2002
Bok Engelsk 2002 · Vis mer
Vis flere utgaver
Vis flere utgaver
Automated reasoning : first international joint conference, IJCAR 2001, Siena, Italy, June 18-22, 2001 : proceedings
IJCAR 2001
Bok Engelsk 2001 · Vis mer
Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX'97, Pont-à-Mousson, France, May 13-16, 1997 : proceedings
TABLEAUX '97
Bok Engelsk 1997 · Vis mer
Deduction : automated logic
by Wolfgang Bibel with the assistance of ...
Bok Engelsk 1993 · Vis mer
Logic programming and automated reasoning : 5th international conference, LPAR '94, Kiev, Ukraine, July 16-22, 1994 : proceedings
LPAR '94
Bok Engelsk 1994 · Vis mer
Skolem and Herbrand theorems in first order logic
Jervell, Herman Ruge
Bok Engelsk 1973 · Vis mer
Prøveforelesninger
Herman Ruge Jervell
Bok Språk ikke angitt 1974 · Vis mer