An edition of Computer-aided reasoning (2000)
Computer-aided reasoning
an approach
By Matt Kaufmann,Panagiotis Manolios,J. Strother Moore
Publish Date
2000
Publisher
Kluwer Academic Publishers
Language
eng
Pages
315
Description:
"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.
subjects: Expert systems (Computer science), Formal methods (Computer science), Software engineering, Knowledge-based systems / expert systems, Computers - General Information, Programming - Software Development, Formal Language Theory, Computers, Formal methods (Computer scien, Computer Books: General, Expert systems (Computer scien, Artificial Intelligence - General, General, Computers / Artificial Intelligence, Computers / Computer Science, Computers-Programming - Software Development, Mathematics-General, Computer Science, Sotware engineering, Computer-aided design