22 treff

automatisk resonnering
Natural and artificial reasoning : an exploration of modelling human thinking
Addis, T. R..
Bok Engelsk 2014 · Vis mer
Progress in artificial intelligence : 7th Portuguese Conference on Artificial Intelligence, EPIA '95, Funchal, Madeira Island, Portugal, October 3-6, 1995 : proceedings
Portuguese Conference on Artificial Intelligence
Bok Engelsk 1995 · Vis mer
Probabilistic reasoning in expert systems : theory and algorithms
Richard E. Neapolitan
Bok Engelsk 1990 · Vis mer
Foundations of intelligent systems : 10th International Symposium, ISMIS'97, Charlotte, North Carolina, USA, October 15-18, 1997 : proceedings
International Symposium on Methodologies for Intelligent Systems
Bok Engelsk 1997 · Vis mer
Computational intelligence : a compendium
John Fulcher, Lakhmi C. Jain (eds.)
Bok Engelsk 2008 · Vis mer
Automated deduction : a basis for applications. III. Applications

Bok Engelsk 1998 · Vis mer
Artificial intelligence : structures and strategies for complex problem solving
George F. Luger
Bok Engelsk 2009 · Vis mer
Vis flere utgaver
Vis flere utgaver
Automated deduction : a basis for applications. II. Calculi and methods

Bok Engelsk 1998 · Vis mer
Working with analogical semantics : disambiguation techniques in DLT
Victor Sadler
Bok Engelsk 1989 · Vis mer
Reasoning about knowledge
Ronald Fagin ... [et al.]
Bok Engelsk 2003 · Vis mer
Vis flere utgaver
Vis flere utgaver
Automated reasoning for planning railway infrastructure
Bjørnar Luteberget
Bok Engelsk 2019 · Vis mer
The method of variable splitting
Roger Antonsen
Bok Engelsk 2008 · Vis mer
Reasoning about fuzzy temporal and spatial information from the web
Steven Schockaert, Martine De Cock, Etien...
Bok Engelsk 2011 · 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
The web of belief
by W.V. Quine, J.S. Ullian
Bok Engelsk 1970 · Vis mer
Vis flere utgaver
Vis flere utgaver
Handbook of practical logic and automated reasoning
John Harrison
Bok Engelsk 2009 · Vis mer
Rippling : meta-level guidance for mathematical reasoning
Alan Bundy ... [et al.]
Bok Engelsk 2005 · Vis mer
Handbook of Automated Reasoning. 1.

Bok Engelsk 2001 · Vis mer
Handbook of Automated Reasoning. 2.

Bok Engelsk 2001 · Vis mer