This book is currently unavailable on Open Library, check out available alternatives.
An edition of Applications of quantifier elimination to mechanical theorem proving (1972)

Applications of quantifier elimination to mechanical theorem proving

by

Applications of quantifier elimination to mec...
Klaus Galda, Klaus Galda
Applications of quantifier elimination to mechanical theorem proving by Klaus Galda, Klaus Galda
Nearby Libraries
Better World Books
Amazon
Bookshop.org
When you buy books using these links the Internet Archive may earn a small commission.

Only you can see this

Save Note
This book is currently unavailable on Open Library, check out available alternatives.
Last edited by Open Library Bot
December 5, 2010 | History
Edit
An edition of Applications of quantifier elimination to mechanical theorem proving (1972)

Applications of quantifier elimination to mechanical theorem proving

by

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

Publish Date
Publisher
Pontifica Universidade Católica do Rio de Janeiro]
Language
English
Pages
17

Subjects

Automatic theorem proving
Edition Availability
Cover of: Applications of quantifier elimination to mechanical theorem proving
Applications of quantifier elimination to mechanical theorem proving
1972, Pontifica Universidade Católica do Rio de Janeiro]
in English
  • Nearby Libraries

Add another edition?

Book Details

Edition Notes

Includes bibliographical references.

Published in
[Rio de Janeiro
Series
Monographs in computer science and computer applications,, no. 6/72

Classifications

Dewey Decimal Class
511.3
Library of Congress
QA76.9.A96 G34

The Physical Object

Pagination
17 p.
Number of pages
17

Edition Identifiers

Open Library
OL4218250M
LCCN
80497900

Work Identifiers

Work ID
OL6415419W

Source records

Community Reviews (0)

No community reviews have been submitted for this work.

Lists

Loading carousel
Download catalog record: RDF / JSON