1 option
Computer-aided reasoning : an approach / by Matt Kaufmann, Panagiotis Manolios, J Strother Moore.
LIBRA QA76.9.F67 K38 2000
Available from offsite location
- Format:
- Book
- Author/Creator:
- Kaufmann, Matt.
- Series:
- Advances in formal methods ; 3.
- Advances in formal methods ; 3
- Language:
- English
- Subjects (All):
- Formal methods (Computer science).
- Software engineering.
- Expert systems (Computer science).
- Physical Description:
- xv, 270 pages ; 25 cm.
- Place of Publication:
- Boston : Kluwer Academic Publishers, [2000]
- Notes:
- Includes bibliographical references (pages [257]-259) and index.
- Local Notes:
- Acquired for the Penn Libraries with assistance from the Rosengarten Family Fund.
- OCLC:
- 43845631
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.