Caricamento...

Codice QR

Automated theorem proving: theory and practice

Dettagli Bibliografici
Autore principale:	Newborn, Monty
Natura:	Printed Book
Lingua:	English
Pubblicazione:	New York Springer 2001
Soggetti:	Automated theorem proving > AI (Artificial intelligence) > Electronic brains > Intelligence, Artificial > Machine intelligence > Artificial intelligence > Expert systems > Bionics > Electronic data procressing

Documenti analoghi

Artificial Intelligence in Process Engineering.
di: Mavrovouniotis, Michael L
Pubblicazione: (1990)

Artificial intelligence: a modern approach
di: Russell, Stuart J.
Pubblicazione: (2003)

Machine Intelligence and Autonomy for Aerospace Systems
di: Heer Ewald
Pubblicazione: (1988)

Artificial intelligence and intelligent systems
di: Padhy, N.P
Pubblicazione: (2007)

Intelligent assistant systems:concepts, techniques and technologies
di: Kaschek, Roland H.
Pubblicazione: (2007)

Encyclopedia of arificial intelligence
di: Stuart C Shapiro, David Eckroth and George A Vallasi
Pubblicazione: (1987)

Encyclopedia of arificial intelligence
di: Stuart C Shapiro, David Eckroth and George A Vallasi
Pubblicazione: (1987)

Into the heart of the mind: an American quest for artificial intelligence
di: Rose, Frank
Pubblicazione: (1984)

Artificial intelligens : into the heart of the mind
di: Rose, Frank
Pubblicazione: (1984)

Intelligent machines: myths and realities
di: De Silva, Clarence W.
Pubblicazione: (2000)

Age of spiritual mechines: when computers exceed human intelligence
di: Kurzweil, Ray
Pubblicazione: (1999)

Machine translation : its scope and limits
di: Wilks, Yorick
Pubblicazione: (2009)

Neural networks and artificial intelligence for biomedical engineering
di: Hudson, Donna L.
Pubblicazione: (2001)

Artificial intelligence and neural networks: Steps toward principled integration
di: Honavar, Vasant
Pubblicazione: (1994)

Optical Character Recognition
di: Mori, Shunji
Pubblicazione: (1999)

Machine intelligence
di: Donald Michie
Pubblicazione: (1977)

Agent technologies, infrastructures, tools and applications for e_services
di: Kowalczyk, Ryszard
Pubblicazione: (2003)

Satisficing games and decision making: with approaches to Engineering and Computer Science
di: Stirling, Wynn C.
Pubblicazione: (2003)

Artificial intelligence and soft computing: behavioral and cognitive modeling of the human brain
di: Konar, Amit
Pubblicazione: (2000)

Prolog programming for artificial intelligence
di: Bratko, Ivan
Pubblicazione: (2001)

Artificial Intelligence and Natural Language Processing
Pubblicazione: (1997)

Cognitive psychology
di: Soslo, Robert L
Pubblicazione: (2001)

Fuzzy logic: intelligence, control and information
di: Yen, John
Pubblicazione: (2003)

Artificial intelligence
di: Alexandria
Pubblicazione: (1986)

Introduction to artificial life
di: Adami, Christoph
Pubblicazione: (1998)

Speech and language processing: an introduction to natural language processing, computational linguistics, and speech recognition
di: Jurafsky, Daniel
Pubblicazione: (2002)

Fundamentals of the new artificial intelligence : neural, evolutionary, fuzzy and more
di: Munakata, Toshinori
Pubblicazione: (2008)

Introduction to Artificial Intelligence
di: Jackson, Philip C
Pubblicazione: (1974)

Shadows of the mind: a search for the missing science of consciousness
di: Penrose, Roger
Pubblicazione: (1994)

Cognitive psychology
di: Sternberg, Robert J.
Pubblicazione: (1999)

Blackboard architectures and appliactions
di: V.Jagannathan, Rajendra Dodhiawala and Lawrence S. Baum
Pubblicazione: (1989)

Artificial intelligence and intelligent tutoring systems : knowledge based systems for teaching and learning
di: Kopec, Danny
Pubblicazione: (1992)

Artificial intelligence illuminated /
di: Coppin, Ben
Pubblicazione: (2004)

Introduction to Artificial Intelligence /
di: Akerkar Rajendra
Pubblicazione: (2005)

Artificial intelligence : a modern approach /
di: Russell, Stuart J. (Stuart Jonathan)
Pubblicazione: (2014)

Artificial intelligence
di: Rich, Elaine
Pubblicazione: (1983)

Artificial intelligence through prolog
di: Rowe, Neil C
Pubblicazione: (1988)

Automated reasoning: 33 basic research problems
di: Wos, Larry
Pubblicazione: (1988)

Fuzzy sets, logics and reasoning about knowledge
Pubblicazione: (1999)

Automated Reasoning: 33 Basic Research Problems
di: Wos, Larry
Pubblicazione: (1988)