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)

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

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

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

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

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)

Workshop on "Bioinformatics, Genomics & Proteomics, an Artificial Intelligence Approach" BIGPAIA : proceedings Thusday July 22. 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)

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

Natural Deduction, Hybrid Systems and Modal Logics
ανά: Indrzejczak, Andrzej
Έκδοση: (2010)

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

Logical Tools for Handling Change in Agent-Based Systems
ανά: Gabbay, Dov M., 1945-
Έκδοση: (2010)

Fuzzy sets, fuzzy logic, fuzzy methods with applications
ανά: Bandemer, Hans
Έκδοση: (1995)

Incomplete information rough set analysis
Έκδοση: (1998)

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

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

Εμπειρος έλεγχος διεργασίας με ασαφή ρυθμιστή
ανά: Ρέκκας, Αλέξανδρος
Έκδοση: (1992)

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

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

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

Fuzzy logic in artificial intelligence towards intelligent systems proceedings...[of] IJCAI '95 Workshop, Montreal, Canada, August 19-21, 1995
Έκδοση: (1997)

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

Induction : processes of inference, learning, and discovery /
Έκδοση: (1986)

Modern uses of multiple-valued logic invited papers from the Fifth International Symposium on Multiple-Valued Logic, held at Indiana University, Bloomington, Indiana, May 13-16, 1975
Έκδοση: (1977)

Fuzzy clustering models and applications
ανά: Sato, Mika
Έκδοση: (1997)

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

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

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