An edition of Automated theorem proving (2001)

Automated theorem proving

theory and practice

Locate

My Reading Lists:

Create a new list



Buy this book

Last edited by ImportBot
March 28, 2025 | History
An edition of Automated theorem proving (2001)

Automated theorem proving

theory and practice

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

Publish Date
Publisher
Springer
Language
English
Pages
231

Buy this book

Edition Availability
Cover of: Automated theorem proving
Automated theorem proving: theory and practice
2001, Springer
in English

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

Edition Identifiers

Open Library
OL18166397M
ISBN 10
0387950753
LCCN
00056315
OCLC/WorldCat
44461999
LibraryThing
473668
Goodreads
2411992

Work Identifiers

Work ID
OL3277552W

Community Reviews (0)

No community reviews have been submitted for this work.

Lists

History

Download catalog record: RDF / JSON / OPDS | Wikipedia citation
March 28, 2025 Edited by ImportBot Redacting ocaids
July 16, 2024 Edited by MARC Bot import existing book
May 11, 2023 Edited by ImportBot import existing book
December 22, 2022 Edited by ImportBot import existing book
October 11, 2008 Created by ImportBot Imported from Oregon Libraries MARC record