Đang tải...

Mã QR

Automated theorem proving: theory and practice

Chi tiết về thư mục
Tác giả chính:	Newborn, Monty
Định dạng:	Printed Book
Ngôn ngữ:	English
Được phát hành:	New York Springer 2001
Những chủ đề:	Automated theorem proving > AI (Artificial intelligence) > Electronic brains > Intelligence, Artificial > Machine intelligence > Artificial intelligence > Expert systems > Bionics > Electronic data procressing

Những quyển sách tương tự

Artificial Intelligence in Process Engineering.
Bằng: Mavrovouniotis, Michael L
Được phát hành: (1990)

Artificial intelligence: a modern approach
Bằng: Russell, Stuart J.
Được phát hành: (2003)

Machine Intelligence and Autonomy for Aerospace Systems
Bằng: Heer Ewald
Được phát hành: (1988)

Artificial intelligence and intelligent systems
Bằng: Padhy, N.P
Được phát hành: (2007)

Intelligent assistant systems:concepts, techniques and technologies
Bằng: Kaschek, Roland H.
Được phát hành: (2007)

Encyclopedia of arificial intelligence
Bằng: Stuart C Shapiro, David Eckroth and George A Vallasi
Được phát hành: (1987)

Encyclopedia of arificial intelligence
Bằng: Stuart C Shapiro, David Eckroth and George A Vallasi
Được phát hành: (1987)

Into the heart of the mind: an American quest for artificial intelligence
Bằng: Rose, Frank
Được phát hành: (1984)

Artificial intelligens : into the heart of the mind
Bằng: Rose, Frank
Được phát hành: (1984)

Intelligent machines: myths and realities
Bằng: De Silva, Clarence W.
Được phát hành: (2000)

Age of spiritual mechines: when computers exceed human intelligence
Bằng: Kurzweil, Ray
Được phát hành: (1999)

Machine translation : its scope and limits
Bằng: Wilks, Yorick
Được phát hành: (2009)

Neural networks and artificial intelligence for biomedical engineering
Bằng: Hudson, Donna L.
Được phát hành: (2001)

Artificial intelligence and neural networks: Steps toward principled integration
Bằng: Honavar, Vasant
Được phát hành: (1994)

Optical Character Recognition
Bằng: Mori, Shunji
Được phát hành: (1999)

Machine intelligence
Bằng: Donald Michie
Được phát hành: (1977)

Agent technologies, infrastructures, tools and applications for e_services
Bằng: Kowalczyk, Ryszard
Được phát hành: (2003)

Satisficing games and decision making: with approaches to Engineering and Computer Science
Bằng: Stirling, Wynn C.
Được phát hành: (2003)

Artificial intelligence and soft computing: behavioral and cognitive modeling of the human brain
Bằng: Konar, Amit
Được phát hành: (2000)

Prolog programming for artificial intelligence
Bằng: Bratko, Ivan
Được phát hành: (2001)

Artificial Intelligence and Natural Language Processing
Được phát hành: (1997)

Cognitive psychology
Bằng: Soslo, Robert L
Được phát hành: (2001)

Fuzzy logic: intelligence, control and information
Bằng: Yen, John
Được phát hành: (2003)

Artificial intelligence
Bằng: Alexandria
Được phát hành: (1986)

Introduction to artificial life
Bằng: Adami, Christoph
Được phát hành: (1998)

Speech and language processing: an introduction to natural language processing, computational linguistics, and speech recognition
Bằng: Jurafsky, Daniel
Được phát hành: (2002)

Fundamentals of the new artificial intelligence : neural, evolutionary, fuzzy and more
Bằng: Munakata, Toshinori
Được phát hành: (2008)

Introduction to Artificial Intelligence
Bằng: Jackson, Philip C
Được phát hành: (1974)

Shadows of the mind: a search for the missing science of consciousness
Bằng: Penrose, Roger
Được phát hành: (1994)

Cognitive psychology
Bằng: Sternberg, Robert J.
Được phát hành: (1999)

Blackboard architectures and appliactions
Bằng: V.Jagannathan, Rajendra Dodhiawala and Lawrence S. Baum
Được phát hành: (1989)

Artificial intelligence and intelligent tutoring systems : knowledge based systems for teaching and learning
Bằng: Kopec, Danny
Được phát hành: (1992)

Artificial intelligence illuminated /
Bằng: Coppin, Ben
Được phát hành: (2004)

Introduction to Artificial Intelligence /
Bằng: Akerkar Rajendra
Được phát hành: (2005)

Artificial intelligence : a modern approach /
Bằng: Russell, Stuart J. (Stuart Jonathan)
Được phát hành: (2014)

Artificial intelligence
Bằng: Rich, Elaine
Được phát hành: (1983)

Artificial intelligence through prolog
Bằng: Rowe, Neil C
Được phát hành: (1988)

Automated reasoning: 33 basic research problems
Bằng: Wos, Larry
Được phát hành: (1988)

Fuzzy sets, logics and reasoning about knowledge
Được phát hành: (1999)

Automated Reasoning: 33 Basic Research Problems
Bằng: Wos, Larry
Được phát hành: (1988)