An edition of On simultaneous rigid E-unification (1997)

On simultaneous rigid E-unification

by

On simultaneous rigid E-unification
Margus Veanes, Margus Veanes
Not in Library

My Reading Lists:

Create a new list

Check-In

×Close
Add an optional check-in date. Check-in dates are used to track yearly reading goals.
Today
Notes
Notes

Check nearby libraries

Buy this book

Last edited by Open Library Bot
December 4, 2010 | History
Edit
An edition of On simultaneous rigid E-unification (1997)

On simultaneous rigid E-unification

by

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

Publish Date
Publisher
Uppsala University, Computing Science Dept.
Language
English
Pages
122

Check nearby libraries

Buy this book

Subjects

Automatic theorem proving

Showing 1 featured edition. View all 1 editions?

Edition Availability
Cover of: On simultaneous rigid E-unification
On simultaneous rigid E-unification
1997, Uppsala University, Computing Science Dept.
in English
  • Not in Library
Libraries near you: WorldCat

Add another edition?

Book Details

Edition Notes

Includes bibliographical references (p. 106-119) and index.
Thesis (Ph.D.)--Uppsala University, 1997.

Published in
Uppsala, Sweden
Series
Uppsala theses in computing science,, 29

Classifications

Dewey Decimal Class
004/.01/5113
Library of Congress
QA76.9.A96 V43 1997

The Physical Object

Pagination
ii, 122 p.;
Number of pages
122

ID Numbers

Open Library
OL66980M
ISBN 10
9150612174
LCCN
99165303
OCLC/WorldCat
41940253
Goodreads
4022536

Source records

Library of Congress MARC record
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

Download catalog record: RDF / JSON
December 4, 2010 Edited by Open Library Bot Added subjects from MARC records.
December 8, 2009 Created by ImportBot add works page