Computer-aided reasoning
by Matt Kaufmann, Panagiotis Manolios, J. Strother Moore
Expert systems (Computer science)Formal methods (Computer science)Software engineeringKnowledge-based systems / expert systemsComputers - General Information
0.0
Open LibraryAbout this book
"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.
Themes & subjects
Expert systems (Computer science)Formal methods (Computer science)Software engineeringKnowledge-based systems / expert systemsComputers - General InformationProgramming - Software Development
About the author
Reviews
No reviews yet — be the first to write one from the Log screen.
Quotes
No quotes yet.
