An edition of Automated theorem proving (1982)

Automated theorem proving

by W. Bibel

0 Ratings
0 Want to read
0 Currently reading
0 Have read

Not in Library

My Reading Lists:

Use this Work

Create a new list

0 Ratings
0 Want to read
0 Currently reading
0 Have read

Check nearby libraries

Buy this book

Last edited by Open Library Bot

December 4, 2010 | History

Edit

An edition of Automated theorem proving (1982)

Automated theorem proving

by W. Bibel

0 Ratings
0 Want to read
0 Currently reading
0 Have read

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

Publish Date

1982

Publisher

F. Vieweg

Language

English

Pages

292

Check nearby libraries

Buy this book

Edition	Availability
1 Automated theorem proving 1987, F. Vieweg in English - 2nd rev. ed.	zzzz Not in Library
2 Automated theorem proving 1982, F. Vieweg in English 3528085207 9783528085209	aaaa Not in Library Libraries near you: WorldCat

Add another edition?

Book Details

Edition Notes

Bibliography: p. [277]-287.
Includes index.

Published in: Braunschweig

Classifications

Dewey Decimal Class: 511.3
Library of Congress: QA76.9.A96 B5 1982, Q334-342

The Physical Object

Pagination: xiii, 292 p. :
Number of pages: 292

ID Numbers

Open Library: OL3130314M
ISBN 10: 3528085207
LCCN: 82243531
OCLC/WorldCat: 9183536
Goodreads: 4431232

Source records

Library of Congress MARC record
Better World Books record
amazon.com record
marc_columbia MARC record
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

Created December 10, 2009
3 revisions

Download catalog record: RDF / JSON

December 4, 2010	Edited by Open Library Bot	Added subjects from MARC records.
April 28, 2010	Edited by Open Library Bot	Linked existing covers to the work.
December 10, 2009	Created by WorkBot	add works page

Automated theorem proving

by W. Bibel