Automated reasoning and the discovery of missing and elegant proofs

Automated reasoning and the discovery of missing and elegant proofs

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας:	Wos, Larry
Άλλοι συγγραφείς:	Pieper, Gail W.
Μορφή:	Βιβλίο
Γλώσσα:	English
Έκδοση:	New Jersey Rinton Press 2003
Θέματα:	Ηλεκτρονικοί υπολογιστές > Προγραμματισμός Τεχνητή νοημοσύνη

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

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

Automated reasoning introduction and applications
ανά: Wos, Larry
Έκδοση: (1984)

Multi-objective optimization in computational intelligence theory and practice
ανά: Bui, Lam Thu
Έκδοση: (2008)

Logic programming formal methods and practical aplications
Έκδοση: (1995)

Genetic programming on the programming of computers by means of natural selection
ανά: Koza, John R.
Έκδοση: (1992)

Computer science today recent trends and developments
Έκδοση: (1995)

Artificial intelligence programming
ανά: Charniak, Eugene, κ.ά.
Έκδοση: (1987)

Advances in genetic programming
ανά: Kinnear, Kenneth E.
Έκδοση: (1994)

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

Paradigms of artificial intelligence programming : Case studies in common LISP /
ανά: Norvig, Peter
Έκδοση: (1992)

Soft computing techniques in knowledge-based intelligent engineering systems approaches and applications
Έκδοση: (1997)

Foundations of soft case-based reasoning
ανά: Pal, Sankar K.
Έκδοση: (2004)

Hybrid neural network and expert systems
ανά: Medsker, Larry R.
Έκδοση: (1994)

Advances in knowledge discovery and data mining /
Έκδοση: (1996)

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

Artificial intelligence and molecular biology
Έκδοση: (1993)

Evolutionary computation toward a new philosophy of machine intelligence
ανά: Fogel, David B.
Έκδοση: (2000)

Hybrid intelligent systems
ανά: Medsker, Larry R.
Έκδοση: (1995)

Flying Insects and Robots
ανά: Floreano, Dario
Έκδοση: (2010)

Σχεδιασμός και υλοποίηση εξελικτικών μοντέλων χρηστών σε εικονικά περιβάλλοντα μάθησης
ανά: Σιέλης, Γεώργιος
Έκδοση: (2008)

Expert systems artificial intelligence in business
ανά: Harmon, Paul
Έκδοση: (1985)

Knowledge engineering shells systems and techniques
Έκδοση: (1993)

Parallel computation and computers for artificial intelligence
Έκδοση: (1988)

Introduction to artificial intelligence and expert systems
ανά: Patterson, Dan W. 1930-
Έκδοση: (1990)

Turtles, termites, and traffic jams explorations in massively parallel microworlds
ανά: Resnick, Mitchel
Έκδοση: (1994)

Developing intelligent agents for distributed systems exploring architecture, technologies, and applications
ανά: Knapik, Michael

Introduction to knowledge systems
ανά: Stefik, Mark
Έκδοση: (1995)

Ανάπτυξη έμπειρου συστήματος λήψης αποφάσεων ναυτιλιακής επιχειρηματικότητας
ανά: Χαντζάρα, Αικατερίνη
Έκδοση: (2008)

An introduction to computational learning theory :
ανά: Kearns, Michael J.
Έκδοση: (1994)

The metaphorical brain 2 neural networks and beyond
ανά: Arbib, Michael A.
Έκδοση: (1989)

Εφαρμογή τεχνικών υπολογιστικής νοημοσύνης για υποστήριξη συστημάτων
ανά: Θερμογιάννη, Ελένη
Έκδοση: (2006)

Logic programming and soft computing
Έκδοση: (1998)

Επαγωγικός λογικός προγραμματισμός και εφαρμογές
ανά: Λώλης, Γεώργιος Ε.
Έκδοση: (2008)

Parallel processing for supercomputers and artificial intelligence
Έκδοση: (1989)

Υλοποίηση και αξιολόγηση του μοντέλου του Yager για έναν ασαφή ρυθμιστή
ανά: Σουρής, Γεώργιος Ν.
Έκδοση: (1993)

Ευφυές σύστημα αναζήτησης δανείου
ανά: Γεωργίου, Ειρήνη
Έκδοση: (2006)

The computer modelling of mathematical reasonic
ανά: Bundy, lan
Έκδοση: (1983)

Web mining applications and techniques
ανά: Scime, Antony 1952-
Έκδοση: (2005)

In-depth understanding A computer model of integrated processing for narrative comprehension
ανά: Dyer, Michael G.
Έκδοση: (1986)

Automated deduction - CADE-12 proceedings
Έκδοση: (1994)

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