An edition of Automated reasoning (1992)

Automated reasoning

introduction and applications

2nd ed.

by

Cover of: Automated reasoning by Larry Wos
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 ImportBot
November 16, 2022 | History
Edit
An edition of Automated reasoning (1992)

Automated reasoning

introduction and applications

2nd ed.

by

This edition doesn't have a description yet. Can you add one?

Publish Date
Publisher
McGraw-Hill
Language
English
Pages
656

Check nearby libraries

Buy this book

Previews available in: English

Subjects

Computer programming, Artificial intelligence, Automatic theorem proving
Edition Availability
Cover of: Automated reasoning
Automated reasoning: introduction and applications
1992, McGraw-Hill
in English - 2nd ed.
Libraries near you: WorldCat

Add another edition?

Book Details

Edition Notes

Includes bibliographical references and index.
System requirements for computer disk (OTTO 2.2): IBM PC compatible or Sun workstation.

Published in
New York

Classifications

Dewey Decimal Class
006.3
Library of Congress
QA76.9.A96 A93 1991

The Physical Object

Pagination
xvi, 656 p. ;
Number of pages
656

ID Numbers

Open Library
OL1561797M
Internet Archive
automatedreasoni0000unse
ISBN 10
007911251X
LCCN
91043171
Library Thing
1496196
Goodreads
993994

Source records

Scriblio MARC record
Library of Congress MARC record
Internet Archive item record
Promise Item

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
November 16, 2022 Edited by ImportBot import existing book
March 11, 2019 Created by MARC Bot import existing book