تحميل...

QR رمز

Automated theorem proving: theory and practice

التفاصيل البيبلوغرافية
المؤلف الرئيسي:	Newborn, Monty
التنسيق:	Printed Book
اللغة:	English
منشور في:	New York Springer 2001
الموضوعات:	Automated theorem proving > AI (Artificial intelligence) > Electronic brains > Intelligence, Artificial > Machine intelligence > Artificial intelligence > Expert systems > Bionics > Electronic data procressing

مواد مشابهة

Artificial Intelligence in Process Engineering.
بواسطة: Mavrovouniotis, Michael L
منشور في: (1990)

Artificial intelligence: a modern approach
بواسطة: Russell, Stuart J.
منشور في: (2003)

Machine Intelligence and Autonomy for Aerospace Systems
بواسطة: Heer Ewald
منشور في: (1988)

Artificial intelligence and intelligent systems
بواسطة: Padhy, N.P
منشور في: (2007)

Intelligent assistant systems:concepts, techniques and technologies
بواسطة: Kaschek, Roland H.
منشور في: (2007)

Encyclopedia of arificial intelligence
بواسطة: Stuart C Shapiro, David Eckroth and George A Vallasi
منشور في: (1987)

Encyclopedia of arificial intelligence
بواسطة: Stuart C Shapiro, David Eckroth and George A Vallasi
منشور في: (1987)

Into the heart of the mind: an American quest for artificial intelligence
بواسطة: Rose, Frank
منشور في: (1984)

Artificial intelligens : into the heart of the mind
بواسطة: Rose, Frank
منشور في: (1984)

Intelligent machines: myths and realities
بواسطة: De Silva, Clarence W.
منشور في: (2000)

Age of spiritual mechines: when computers exceed human intelligence
بواسطة: Kurzweil, Ray
منشور في: (1999)

Machine translation : its scope and limits
بواسطة: Wilks, Yorick
منشور في: (2009)

Neural networks and artificial intelligence for biomedical engineering
بواسطة: Hudson, Donna L.
منشور في: (2001)

Artificial intelligence and neural networks: Steps toward principled integration
بواسطة: Honavar, Vasant
منشور في: (1994)

Optical Character Recognition
بواسطة: Mori, Shunji
منشور في: (1999)

Machine intelligence
بواسطة: Donald Michie
منشور في: (1977)

Agent technologies, infrastructures, tools and applications for e_services
بواسطة: Kowalczyk, Ryszard
منشور في: (2003)

Satisficing games and decision making: with approaches to Engineering and Computer Science
بواسطة: Stirling, Wynn C.
منشور في: (2003)

Artificial intelligence and soft computing: behavioral and cognitive modeling of the human brain
بواسطة: Konar, Amit
منشور في: (2000)

Prolog programming for artificial intelligence
بواسطة: Bratko, Ivan
منشور في: (2001)

Artificial Intelligence and Natural Language Processing
منشور في: (1997)

Cognitive psychology
بواسطة: Soslo, Robert L
منشور في: (2001)

Fuzzy logic: intelligence, control and information
بواسطة: Yen, John
منشور في: (2003)

Artificial intelligence
بواسطة: Alexandria
منشور في: (1986)

Introduction to artificial life
بواسطة: Adami, Christoph
منشور في: (1998)

Speech and language processing: an introduction to natural language processing, computational linguistics, and speech recognition
بواسطة: Jurafsky, Daniel
منشور في: (2002)

Fundamentals of the new artificial intelligence : neural, evolutionary, fuzzy and more
بواسطة: Munakata, Toshinori
منشور في: (2008)

Introduction to Artificial Intelligence
بواسطة: Jackson, Philip C
منشور في: (1974)

Shadows of the mind: a search for the missing science of consciousness
بواسطة: Penrose, Roger
منشور في: (1994)

Cognitive psychology
بواسطة: Sternberg, Robert J.
منشور في: (1999)

Blackboard architectures and appliactions
بواسطة: V.Jagannathan, Rajendra Dodhiawala and Lawrence S. Baum
منشور في: (1989)

Artificial intelligence and intelligent tutoring systems : knowledge based systems for teaching and learning
بواسطة: Kopec, Danny
منشور في: (1992)

Artificial intelligence illuminated /
بواسطة: Coppin, Ben
منشور في: (2004)

Introduction to Artificial Intelligence /
بواسطة: Akerkar Rajendra
منشور في: (2005)

Artificial intelligence : a modern approach /
بواسطة: Russell, Stuart J. (Stuart Jonathan)
منشور في: (2014)

Artificial intelligence
بواسطة: Rich, Elaine
منشور في: (1983)

Artificial intelligence through prolog
بواسطة: Rowe, Neil C
منشور في: (1988)

Automated reasoning: 33 basic research problems
بواسطة: Wos, Larry
منشور في: (1988)

Fuzzy sets, logics and reasoning about knowledge
منشور في: (1999)

Automated Reasoning: 33 Basic Research Problems
بواسطة: Wos, Larry
منشور في: (1988)