An edition of Computer-aided reasoning (2000)

Computer-aided reasoning

an approach

by , , and

Cover of: Computer-aided reasoning by Matt Kaufmann, Panagiotis Manolios, J. Strother Moore, Matt Kaufmann
Preview
Borrow Listen

My Reading Lists:

Create a new list

Check-In

×Close
Add an optional check-in date. Check-in dates are used to track yearly reading goals.
Today
Notes
Notes

Check nearby libraries

Buy this book

Last edited by MARC Bot
July 12, 2024 | History
Edit
An edition of Computer-aided reasoning (2000)

Computer-aided reasoning

an approach

by , , and

"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.

Publish Date
Publisher
Kluwer Academic Publishers
Language
English
Pages
270

Check nearby libraries

Buy this book

Previews available in: English

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
Edition Availability
Cover of: Computer-Aided Reasoning
Computer-Aided Reasoning: an Approach
2010, Lulu Press, Inc.
in English
Libraries near you: WorldCat
Cover of: Computer-Aided Reasoning
Computer-Aided Reasoning
2000, Island Press
in English
Libraries near you: WorldCat
Cover of: Computer-aided reasoning
Computer-aided reasoning: an approach
2000, Kluwer Academic Publishers
in English
Libraries near you: WorldCat
Cover of: Computer-Aided Reasoning
Computer-Aided Reasoning: ACL2 Case Studies (Advances in Formal Methods)
June 30, 2000, Springer
Hardcover in English - 1 edition
Libraries near you: WorldCat
Cover of: Computer-Aided Reasoning
Computer-Aided Reasoning: An Approach (Advances in Formal Methods)
July 31, 2000, Springer
Hardcover in English - 1 edition
Libraries near you: WorldCat
Cover of: Computer-aided reasoning
Computer-aided reasoning: ACL2 case studies
2000, Kluwer Academic Publishers
in English
Libraries near you: WorldCat

Add another edition?

Book Details

Edition Notes

Includes bibliographical references (p. [257]-259) and index.

Published in
Boston
Series
Advances in formal methods -- 3.

Classifications

Library of Congress
QA76.9.F67 K38 2000, QA76.9.F67 K38 2000

The Physical Object

Pagination
xv, 270 p. :
Number of pages
270

ID Numbers

Open Library
OL18141157M
Internet Archive
computeraidedrea0000kauf
ISBN 10
0792377443
LCCN
00038636
OCLC/WorldCat
43845631
Library Thing
1118050
Goodreads
4853318

Source records

Oregon Libraries MARC record
Library of Congress MARC record
Library of Congress MARC record
Internet Archive item record
Promise Item
marc_columbia MARC record

Community Reviews (0)

Feedback?
No community reviews have been submitted for this work.

Lists

This work does not appear on any lists.

History

Download catalog record: RDF / JSON
July 12, 2024 Edited by MARC Bot import existing book
October 4, 2021 Edited by ImportBot import existing book
July 28, 2020 Edited by MARC Bot import existing book
July 31, 2019 Edited by MARC Bot associate edition with work OL8362495W
December 10, 2009 Created by WorkBot add works page