An edition of Automated theorem proving (1982)

Automated theorem proving

by W. Bibel

Not in Library

My Reading Lists:

Use this Work

Create a new list

Check nearby libraries

Buy this book

Last edited by MARC Bot

December 10, 2023 | History

Edit

An edition of Automated theorem proving (1982)

Automated theorem proving

by W. Bibel

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

Showing 2 featured editions. View all 2 editions?

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 April 1, 2008
10 revisions

Download catalog record: RDF / JSON / OPDS | Wikipedia citation

December 10, 2023	Edited by MARC Bot	import existing book
November 18, 2023	Edited by ImportBot	import existing book
December 8, 2022	Edited by MARC Bot	import existing book
December 3, 2022	Edited by ImportBot	import existing book
April 1, 2008	Created by an anonymous user	Imported from Scriblio MARC record

Automated theorem proving

by W. Bibel