81 treff

deduksjon
Argumentasjonsteori, språk og vitenskapsfilosofi
Dagfinn Føllesdal og Lars Walløe
Bok Bokmål 2002 · Vis mer
Vis flere utgaver · På flere formater: Tale på CD · Daisy lydbok
Logikk og metodelære : en innføring
Arne Næss
Bok Bokmål 1983 · Les boka på nett · Vis mer
Vis flere utgaver
Vis flere utgaver
Hyperproof
Barwise, Jon
Bok Engelsk 1994 · Vis mer
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
Knowledge representation and reasoning
Ronald J. Brachman, Hector J. Levesque.
Bok Engelsk 2004 · 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
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
Logic programming and nonmonotonic reasoning : 6th international conference, LPNMR 2001, Vienna, Austria, September 17-19, 2001 : proceedings
International Conference on Logic Programming and Nonmonotonic Reasoning
Bok Engelsk 2001 · 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
Logic programming and nonmonotonic reasoning : 4th international conference, LPNMR '97, Dagstuhl Castle, Germany, July 28-31, 1997 : proceedings
International Conference on Logic Programming and Non-monotonic Reasoning
Bok Engelsk 1997 · Vis mer
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
The Philosophy of Immanuel Kant : a collection of eleven of the most important books on Kant's philosophy reprinted in 14 volumes. 2. La déduction transcendentale dans l'oeuvre de Kant
Vleeschauwer, H. J. de
Bok Språk ikke angitt 1976 · Vis mer
Logic : form and function : the mechanization of deductive reasoning
Robinson, J. A.
Bok Språk ikke angitt 1979 · Vis mer
Aristotle's deduction and induction : introductory analysis and synthesis
by Wayne N. Thompson
Bok Engelsk 1975 · Vis mer
Apperzeption und Erfahrung : Kants transzendentale Deduktion im Spannungsfeld der frühen Rezeption und Kritik
Martin Bondeli
Bok Tysk 2006 · Vis mer
Kant's deduction from apperception : an essay on the transcendental deduction of the categories
Dennis Schulting
Bok Engelsk 2019 · Vis mer
Abductive analysis : theorizing qualitative research
Tavory, Iddo.
Bok Engelsk 2014 · Vis mer
Cartesian logic : an essay on Descartes's conception of inference
Stephen Gaukroger
Bok Engelsk 1989 · 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
Logische Propädeutik : eine Einf. in d. deduktive Methode u. log. Sprachenanalyse [i.e. Sprachanalyse]
Peter Hinst
Bok Tysk 1974 · Vis mer
Handbook of logic in artificial intelligence and logic programming. Vol. 4. Epistemic and temporal reasoning
volume coordinator: Antony Galton
Bok Engelsk 1995 · Vis mer
Basis und Deduktion : Studien zur Entstehung u. Bedeutung d. Theorie d. axiomat. Methode bei J. H. Lambert (1728-1777)
von Gereon Wolters
Bok Tysk 1980 · 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
Deductive logic
Warren Goldfarb
Bok Engelsk 2003 · Vis mer
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
The shaping of deduction in Greek mathematics : a study in cognitive history
Reviel Netz
Bok Engelsk 1999 · Vis mer
Vis flere utgaver
Vis flere utgaver