Computer-aided reasoning
Subtitle: an approach
By: by Matt Kaufmann, Panagiotis Manolios, J Strother Moore.
Contributors: Manolios, Panagiotis.; Moore, J Strother, 1947-
Series: Advances in formal methods -- 3.
Publisher: Kluwer Academic Publishers
Published: 2000
Place of publication: Boston
Language: eng
Number of pages: 270
Subjects: Formal methods (Computer science); Software engineering; Expert systems (Computer science)
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.
Notes: Includes bibliographical references (p. [257]-259) and index.