Computer-aided reasoning: an approach /
Kaufmann, Matt
Computer-aided reasoning: an approach / Matt Kaufmann, Panagiotis Manolios and J Strother Moore. - Boston: Kluwer Academic Publishers, 2000 - xv, 270 p. : 24 cm. - Advances in formal methods 3 .
Includes bibliographical references (p. [257]-259) and index.
0-7923-7744-3
Formal methods (Computer science)
Sotware engineering.
Expert systems (Computer science)
QA76.9 / .K38 2000
Computer-aided reasoning: an approach / Matt Kaufmann, Panagiotis Manolios and J Strother Moore. - Boston: Kluwer Academic Publishers, 2000 - xv, 270 p. : 24 cm. - Advances in formal methods 3 .
Includes bibliographical references (p. [257]-259) and index.
0-7923-7744-3
Formal methods (Computer science)
Sotware engineering.
Expert systems (Computer science)
QA76.9 / .K38 2000