Carregando...

Código QR (código de barras bidimensional)

Automated theorem proving: theory and practice

Detalhes bibliográficos
Autor principal:	Newborn, Monty
Formato:	Printed Book
Idioma:	English
Publicado em:	New York Springer 2001
Assuntos:	Automated theorem proving > AI (Artificial intelligence) > Electronic brains > Intelligence, Artificial > Machine intelligence > Artificial intelligence > Expert systems > Bionics > Electronic data procressing

Registros relacionados

Artificial Intelligence in Process Engineering.
por: Mavrovouniotis, Michael L
Publicado em: (1990)

Artificial intelligence: a modern approach
por: Russell, Stuart J.
Publicado em: (2003)

Machine Intelligence and Autonomy for Aerospace Systems
por: Heer Ewald
Publicado em: (1988)

Artificial intelligence and intelligent systems
por: Padhy, N.P
Publicado em: (2007)

Intelligent assistant systems:concepts, techniques and technologies
por: Kaschek, Roland H.
Publicado em: (2007)

Encyclopedia of arificial intelligence
por: Stuart C Shapiro, David Eckroth and George A Vallasi
Publicado em: (1987)

Encyclopedia of arificial intelligence
por: Stuart C Shapiro, David Eckroth and George A Vallasi
Publicado em: (1987)

Into the heart of the mind: an American quest for artificial intelligence
por: Rose, Frank
Publicado em: (1984)

Artificial intelligens : into the heart of the mind
por: Rose, Frank
Publicado em: (1984)

Intelligent machines: myths and realities
por: De Silva, Clarence W.
Publicado em: (2000)

Age of spiritual mechines: when computers exceed human intelligence
por: Kurzweil, Ray
Publicado em: (1999)

Machine translation : its scope and limits
por: Wilks, Yorick
Publicado em: (2009)

Neural networks and artificial intelligence for biomedical engineering
por: Hudson, Donna L.
Publicado em: (2001)

Artificial intelligence and neural networks: Steps toward principled integration
por: Honavar, Vasant
Publicado em: (1994)

Optical Character Recognition
por: Mori, Shunji
Publicado em: (1999)

Machine intelligence
por: Donald Michie
Publicado em: (1977)

Agent technologies, infrastructures, tools and applications for e_services
por: Kowalczyk, Ryszard
Publicado em: (2003)

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

Artificial intelligence and soft computing: behavioral and cognitive modeling of the human brain
por: Konar, Amit
Publicado em: (2000)

Prolog programming for artificial intelligence
por: Bratko, Ivan
Publicado em: (2001)

Artificial Intelligence and Natural Language Processing
Publicado em: (1997)

Cognitive psychology
por: Soslo, Robert L
Publicado em: (2001)

Fuzzy logic: intelligence, control and information
por: Yen, John
Publicado em: (2003)

Artificial intelligence
por: Alexandria
Publicado em: (1986)

Introduction to artificial life
por: Adami, Christoph
Publicado em: (1998)

Speech and language processing: an introduction to natural language processing, computational linguistics, and speech recognition
por: Jurafsky, Daniel
Publicado em: (2002)

Fundamentals of the new artificial intelligence : neural, evolutionary, fuzzy and more
por: Munakata, Toshinori
Publicado em: (2008)

Introduction to Artificial Intelligence
por: Jackson, Philip C
Publicado em: (1974)

Shadows of the mind: a search for the missing science of consciousness
por: Penrose, Roger
Publicado em: (1994)

Cognitive psychology
por: Sternberg, Robert J.
Publicado em: (1999)

Blackboard architectures and appliactions
por: V.Jagannathan, Rajendra Dodhiawala and Lawrence S. Baum
Publicado em: (1989)

Artificial intelligence and intelligent tutoring systems : knowledge based systems for teaching and learning
por: Kopec, Danny
Publicado em: (1992)

Artificial intelligence illuminated /
por: Coppin, Ben
Publicado em: (2004)

Introduction to Artificial Intelligence /
por: Akerkar Rajendra
Publicado em: (2005)

Artificial intelligence : a modern approach /
por: Russell, Stuart J. (Stuart Jonathan)
Publicado em: (2014)

Artificial intelligence
por: Rich, Elaine
Publicado em: (1983)

Artificial intelligence through prolog
por: Rowe, Neil C
Publicado em: (1988)

Automated reasoning: 33 basic research problems
por: Wos, Larry
Publicado em: (1988)

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

Automated Reasoning: 33 Basic Research Problems
por: Wos, Larry
Publicado em: (1988)