Automated reasoning

QR Code

Automated reasoning

Bibliographic Details
Main Author:	Wos, Larry (Author)
Format:	Book
Published:	Englewood Cliffs, NJ Prentice-Hall c1984
Subjects:	Artificial intelligence Automated theorem proving Electronic digital computers > Programming

Similar Items

Automated reasoning 33 basic research problems
by: Wos, Larry
Published: (1988)

Cognitive reasoning a formal approach
by: Gergely, Tamas 1952-, et al.
Published: (2010)

The computer chronicles
by: Lechner, H. D.
Published: (1984)

Human-computer interaction an empirical research perspective
by: MacKenzie, I. Scott 1951-
Published: (2013)

What computers can'tdo : the limits of artificial intelligence
by: Dreyfus, Hubert L.
Published: (1979)

Perisian sistem
by: Subariah Ibrahim
Published: (2001)

Artificial intelligence : a modern approach
by: Russell, Stuart J., et al.
Published: (2003)

Artificial intelligence
by: Rich, Elaine, et al.
Published: (1991)

Artificial intelligence in comics
by: Bizen, Yasunori, et al.
Published: (2017)

Artificial intelligence an applications-oriented approach
by: Schutzer, Daniel
Published: (1987)

Artificial intelligence : with an introduction to machine learning
by: Neapolitan, Richard E., et al.

Important concepts in artificial intelligence [
by: Luciano, Helena
Published: (2014)

Artificial intelligence in the 21st century a living introduction
by: Lucci, Stephen, et al.
Published: (2016)

Understanding artificial intelligence
by: Mishkoff, Henry C., et al.
Published: (1988)

Artificial intelligence theory and practice
by: Dean, Thomas L. 1950-, et al.
Published: (1995)

Modular Minds exploring A.I modules
Published: (2024)

Artificial intelligence handbook
by: London, Herman
Published: (2014)

Artificial intelligence
by: Bhattacharya, Sharbani
Published: (2017)

Brig's handbook of methods and research in artificial intelligence-agents and environments
by: Khalid A. Al Smadi, et al.
Published: (2018)

Concepts and applications of artificial intelligence
by: Lira, Ling, et al.
Published: (2014)

Artificial intelligence advances in research and applications
by: Bhide, Sayli, et al.
Published: (2018)

Symbolic and numerical computation for artificial intelligence
by: Donald, Bruce R., et al.
Published: (1992)

Artificial intelligence the search for the perfect machine
by: Stevens, Laurence
Published: (1985)

Applications of artificial intelligence
by: Lira, Ling
Published: (2014)

Artificial intelligence
by: Winston, Patrick Henry
Published: (1992)

Components, elements and applications of artificial intelligence & evolutionary computation
by: Whitaker, Roy
Published: (2012)

Artificial intelligence a modern approach
by: Russell, Stuart J., et al.
Published: (1995)

Foundations of computer technology
by: Giarratano, Joseph C.
Published: (1982)

Artificial Intelligence a guide to intelligent systems
by: Negnevitsky, Michael
Published: (2011)

Design of logic-based intelligent systems
by: Truemper, K. 1942-
Published: (2004)

Multiagent system technologies 5th German conference, MATES 2007, Leipzig, Germany, September 24-26, 2007 proceedings
by: Petta, Paolo 1963-
Published: (2007)

Using computers programming and problem solving / Gerald H. Elganten, Alfred S. Posamentier
by: Elgarten, Gerald H., et al.
Published: (1984)

Mastering computer programming
by: Gosling, P. E. [ (Peter E.)]
Published: (1982)

Experiences of test automation : case studies of software test automation
by: Graham, Dorothy , 1944-, et al.
Published: (2012)

Intelligent systems : principles, paradigms, and pragmatics
by: Schalkoff, Robert J.
Published: (2011)

Implementing automated software testing how to save time and lower costs while raising quality
by: Dustin, Elfriede, et al.
Published: (2009)

Industrial automation circuit design and components
by: Pessen, David W.
Published: (1989)

Computer programming
by: Blacklock, Phil
Published: (1993)

Introduction to programming
by: Naylor, Jeff
Published: (1987)

Artificial intelligence an engineering approach
by: Schalkoff, Robert J.
Published: (1990)