载入...

QR Code

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)