Computer-Aided Reasoning

Loading edition detail...

Preparing this view.

Computer-Aided Reasoning

Book detail

Bookitis Pick

Image source: Open Library

Published June 30, 20001 title viewscover on file

"Computer-Aided Reasoning: An Approach is a textbook introduction to computer-aided reasoning. It can be used in graduate and upper-division undergraduate courses on Software Engineering or Formal Methods. It is also suitable in conjunction with other books in courses on hardware design, discrete mathematics, or theory, especially courses stressing formalism, rigor, or mechanized support. It is also appropriate for courses on artificial intelligence or automated reasoning and as a reference for business and industry."--BOOK JACKET.

Main catalog entry More like this

Edition	1 edition
Publisher	Springer
Pages	360
Format	Hardcover
Search language	english
ISBN_10	0-792-37849-0 primary
ISBN_13	978-0-792-37849-5 primary

Other editions of this title

Publication-specific alternatives linked to the same work.

CR
Image source: Open Library
Computer-Aided Reasoning
Matt Kaufmann, Panagiotis Manolios, J. Strother Moore | Springer | July 31, 2000
1 views
CR
Image source: Open Library
Computer-aided reasoning
Matt Kaufmann | Kluwer Academic Publishers | 2000
Computer-Aided ReasoningMatt Kaufmann, Panagiotis Manolios, J. Moore
CR
Computer-Aided Reasoning
Matt Kaufmann, Panagiotis Manolios, J. Moore | Lulu Press, Inc. | 2010
Computer-aided reasoning
CR
Computer-aided reasoning
Kluwer Academic Publishers | 2000
Computer-Aided ReasoningMatt Kaufmann, Panagiotis Manolios, J. Strother Moore
CR
Computer-Aided Reasoning
Matt Kaufmann, Panagiotis Manolios, J. Strother Moore | Island Press | 2000