An edition of Automation of reasoning (1983)

Automation of reasoning

by and

Cover of: Automation of reasoning by Jörg H. Siekmann, Graham Wrightson
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
May 27, 2021 | History
Edit
An edition of Automation of reasoning (1983)

Automation of reasoning

by and

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

Publish Date
Publisher
Springer
Language
English

Check nearby libraries

Buy this book

Previews available in: English

Subjects

Automatic theorem proving
Edition Availability
Cover of: Automation of reasoning
Automation of reasoning
1983, Springer
in English
Cover of: Automation of Reasoning 1
Automation of Reasoning 1: Classical Papers on Computational Logic, 1957-1966
March 1983, Springer
in English

Add another edition?

Book Details

Edition Notes

Includes bibliographical references.

Published in
Berlin, New York

Classifications

Dewey Decimal Class
001.53/5
Library of Congress
QA76.9.A96 A94 1983

The Physical Object

Pagination
2 v. :

ID Numbers

Open Library
OL3254570M
Internet Archive
automationofreas0000unse
ISBN 10
0387120432, 0387120440
LCCN
83172968
OCLC/WorldCat
9739533
Goodreads
3437873

Source records

Library of Congress MARC record
Library of Congress MARC record
Internet Archive item record
Promise Item
Promise Item
harvard_bibliographic_metadata 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
May 27, 2021 Edited by ImportBot import existing book
October 30, 2020 Edited by MARC Bot import existing book
December 28, 2011 Created by LC Bot import new book