Automated deduction - CADE-12 proceedings

Automated deduction - CADE-12 proceedings

Λεπτομέρειες βιβλιογραφικής εγγραφής
Άλλοι συγγραφείς:	Bundy, Alan
Μορφή:	Βιβλίο
Γλώσσα:	English
Έκδοση:	Berlin Springer - Verlag 1994
Σειρά:	Lecture notes in artificial intelligence 814
Θέματα:	Λογική, Συμβολική και μαθηματική Τεχνητή νοημοσύνη > Συνέδρια Τεχνητή νοημοσύνη

Παρόμοια τεκμήρια

Automated deduction, CADE-11 11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992 proceedings
Έκδοση: (1992)

Logic programming and nonmonotonic reasoning proceedings
Έκδοση: (1995)

Nonmonotonic logics basic concepts, results, and techniques
ανά: Schlechta, Karl
Έκδοση: (1997)

System demonstrations : proceedings, July 23-25, 2008, Patras, Greece /
Έκδοση: (2008)

Workshop on Artificial Intelligence in Games : proceedings Thusday 22, 2008 Patras, Greece /
Έκδοση: (2008)

Workshop on Configuration Systems : proceedings Monday-Tuesday July 21-22, 2008 Patras, Greece /
Έκδοση: (2008)

Workshop on Computational Aspects of Affectual and Emotional Interaction : proceedings Monday July 21, 2008 Patras, Greece
Έκδοση: (2008)

6th International Cognitive Robotics Workshop : proceedings July 21-22, 2008 Patras, Greece /
Έκδοση: (2008)

1st International Workshop on Combinations of Intelligent Methods and Applications (CIMA 2008) : proceedings Thusday July 22, 2008 Patras, Greece /
Έκδοση: (2008)

Workshop on Supervised and Unsupervised Ensemble Methods and their Applications : proceedings Monday July 21, 2008 Thusday July 22, 2008 Patras, Greece /
Έκδοση: (2008)

Proceedings of the 3rd Workshop on Artificial Intelligence Techniques for Ambient Intelligence (AiTAmI'08) : Patras, Greece 21-22 of July, 2008
Έκδοση: (2008)

ECAI 2008 18th European Conference on Artificial Intelligence, July 21-25, 2008, Patras, Greece including Prestigious Applications of Intelligent Systems (PAIS 2008) proceedings
Έκδοση: (2008)

Explanation-aware computing ExaCt 2008 : ECAI-08 Workshop, University of Patras, Greece July 21-22 2008 Proceedings of the 3rd International ExaCt workshop /
Έκδοση: (2008)

Artificial intelligence in medicine
Έκδοση: (1995)

Representing and reasoning with probabilistic knowledge a logical approach to probabilities
ανά: Bacchus, Fahiem
Έκδοση: (1990)

Workshop on "Bioinformatics, Genomics & Proteomics, an Artificial Intelligence Approach" BIGPAIA : proceedings Thusday July 22. 2008 Patras, Greece /
Έκδοση: (2008)

Handbook of logic in artificial intelligence and logic programming /
Έκδοση: (1998)

Workshop on Artificial Intelligence Techniques in Software Engineering : proceedings Monday July 21, 2008 Patras, Greece /
Έκδοση: (2008)

Workshop on Spatial and Temporal Reasoning : proceedings, Tuesday, 22 July 2008, Patras, Greece /
Έκδοση: (2008)

Workshop on Mining Social Data (MSoDa) : proceedings Monday July 21, 2008 Patras, Greece /
Έκδοση: (2008)

Epistemic logic for AI and computer science
ανά: Meyer, John-Jules Ch
Έκδοση: (1995)

Theory of Deductive Systems and Its Applications
ανά: Maslov, S. Y.
Έκδοση: (1987)

First-order logic and automated theorem proving /
ανά: Fitting, Melvin 1942-
Έκδοση: (1990)

8th Workshop on Computational Models of Natural Argument (CMNA 8) : proceedings Monday July 21, 2008 Patras, Greece /
Έκδοση: (2008)

Introduction to Logic and to the methology of deductive sciences
ανά: Tarski, Alfred
Έκδοση: (1965)

Reasoning about rational agents
ανά: Wooldridge, Michael J. 1966-
Έκδοση: (2000)

Ευφυής έλεγχος
ανά: Κινγκ, Ροβέρτος-Ερρίκος 1937-
Έκδοση: (1997)

Ευφυής έλεγχος
ανά: Κινγκ, Ροβέρτος-Ερρίκος 1937-
Έκδοση: (2004)

STAIRS 2008 proceedings of the fourth Starting AI Researchers' Symposium
Έκδοση: (2008)

Computer oriented learning processes : [proceedings of the NATO Advanced Study Institute on Computer Oriented Learning Processes] /
Έκδοση: (1976)

Proceedings 19th International Conference on Tools with Artificial Intelligence : 29-31 October 2007, Patras, Greece.
Έκδοση: (2007)

Advances in artificial intelligence 4th Hellenic Conference on AI, SETN 2006, Heraklion, Crete, Greece, May 18-20, 2006 proceedings
Έκδοση: (2006)

Automated reasonic 33 basic research problems
ανά: Wos, Larry
Έκδοση: (1988)

Machines who think A personal inquiry into the history and prospects of artificial intelligence
ανά: McCorduck, Pamela
Έκδοση: (1979)

An introduction to multiagent systems
ανά: Wooldridge, Michael J. 1966-
Έκδοση: (2002)

Computers and thought a practical introduction to artificial intelligence
ανά: Sharples, Mike
Έκδοση: (1989)

Artificial intelligence promise and performance
ανά: Bonnet, Alain
Έκδοση: (1985)

Intelligent software agents
ανά: Murch, Richard
Έκδοση: (1999)

Associative engines : connectionism, concepts, and representational change /
ανά: Clark, Andy, 1957-
Έκδοση: (1993)

Βιβλιοθήκη & Κέντρο Πληροφόρησης | Πανεπιστήμιο Πατρών