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)

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

Perisian sistem
by: Subariah Ibrahim
Published: (2001)

Mastering AI : a survival guide to our superpowered future
by: Kahn, Jeremy
Published: (2024)

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

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

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

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

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

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

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

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

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

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

Program design concepts with applications in COBOL : A. S. Philippakis, Leonard J. Kazmier.
by: Kazmier, Leonard J.
Published: (1983)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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