81 treff

deduksjon
Handbook of logic in artificial intelligence and logic programming. Vol. 5. Logic programming

Bok Engelsk 1998 · Vis mer
Das "Ich denke" und Kants transzendentale Deduktion im Lichte der sprachphilosophischen (pragmatischen) Wende
von Audun Øfsti
Bok Tysk 1988 · Vis mer
Natural deduction : a proof-theoretical study
av Dag Prawitz
Bok Engelsk 1965 · Vis mer
Natural and artificial reasoning : an exploration of modelling human thinking
Addis, T. R..
Bok Engelsk 2014 · Vis mer
Critical Thinking
Moore, Brooke Noel.
Bok Engelsk 2012 · 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
Qualitative and quantitative practical reasoning : first International Joint Conference on Qualitative and Quantitative Practical Reasoning, ECSQARU-FAPR'97, Bad Honnef, Germany, June 9-12, 1997 : proceedings
International Joint Conference on Qualitative and Quantitative Practical Reasoning
Bok Engelsk 1997 · Vis mer
An inferentialist interpretation of classical logic
Tor Sandqvist
Bok Engelsk 2005 · Vis mer
Designing database applications with objects and rules : the IDEA methodology
Stefano Ceri and Piero Fraternali
Bok Engelsk 1997 · 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
Handbook of logic in artificial intelligence and logic programming. Vol. 2. Deduction methodologies
volume co-ordinator: J. Siekmann
Bok Engelsk 1994 · Vis mer
Handbook of logic in artificial intelligence and logic programming. Vol. 3. Nonmonotonic reasoning and uncertain reasoning
volume co-ordinator D. Nute
Bok Engelsk 1994 · Vis mer
Proof theory and logical complexity. 1.
Girard, Jean-Yves
Bok Engelsk 1987 · Vis mer
Explanation and deduction : a defence of deductive chauvinism
Henrik Hållsten
Bok Engelsk 2001 · Vis mer
Identity of proofs
Filip Widebäck
Bok Engelsk 2001 · Vis mer
Grammatical inference : learning syntax from sentences : third international colloquium, ICGI-96, Montpellier, France, September 25-27, 1996 : proceedings
ICGI-96
Bok Engelsk 1996 · Vis mer
The transcendental how : Kant's transcendental deduction of objective cognition
Markku Leppäkoski
Bok Engelsk 1993 · Vis mer
Proofs and types
Jean-Yves Girard, Yves Lafont, Paul Taylo...
Bok Engelsk 1989 · Vis mer
Automated deduction : a basis for applications. II. Calculi and methods

Bok Engelsk 1998 · Vis mer
Automated deduction : a basis for applications. III. Applications

Bok Engelsk 1998 · Vis mer
Deduction : automated logic
by Wolfgang Bibel with the assistance of ...
Bok Engelsk 1993 · Vis mer
Kant's transcendental deductions : the three Critiques and the Opus postumum
Eckart Förster, editor
Bok Engelsk 1989 · Vis mer
Extensions of first order logic
by María Manzano
Bok Engelsk 1996 · Vis mer
Kant's first critique and the transcendental deduction
F.C. White
Bok Engelsk 1996 · 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
Die transzendentale Deduktion der Kategorien in der ersten Auflage der Kritik der reinen Vernuft : ein Kommentar
Wolfgang Carl
Bok Tysk 1992 · Vis mer