An edition of Automated theorem proving (2001)

Automated theorem proving

theory and practice

by Monroe Newborn

Locate

My Reading Lists:

Use this Work

Create a new list

Check nearby libraries

Buy this book

Last edited by MARC Bot

June 28, 2019 | History

Edit

An edition of Automated theorem proving (2001)

Automated theorem proving

theory and practice

by Monroe Newborn

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

Publish Date

2001

Publisher

Springer

Language

English

Pages

231

Check nearby libraries

Buy this book

Previews available in: English

Edition	Availability
1 Automated theorem proving: theory and practice 2001, Springer in English 0387950753 9780387950754	aaaa Locate

Add another edition?

Book Details

Edition Notes

Includes bibliographical references (p. [207]-210) and index.

System requirements: Unix, Linux, Solaris, FreeBSD, or AIX.

Published in: New York

Classifications

Library of Congress: QA76.9.A96 N49 2001, QA76.9.A96 N49 2001, QA76.9.A96 N49 2001, QA8.9-10.3

The Physical Object

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

ID Numbers

Open Library: OL18166397M
Internet Archive: automatedtheorem00newb
ISBN 10: 0387950753
LCCN: 00056315
OCLC/WorldCat: 44461999
Library Thing: 473668
Goodreads: 2411992

Source records

Oregon Libraries MARC record
Library of Congress MARC record
Internet Archive item record
Library of Congress MARC record
Better World Books record
Promise Item
Internet Archive item record
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

Created December 10, 2009
3 revisions

Download catalog record: RDF / JSON

June 28, 2019	Edited by MARC Bot	import existing book
February 13, 2010	Edited by WorkBot	add more information to works
December 10, 2009	Created by WorkBot	add works page

Automated theorem proving

theory and practice

by Monroe Newborn