An edition of On simultaneous rigid E-unification
(1997)
On simultaneous rigid E-unification
by Margus Veanes
Share
×Close
Last edited by Open Library Bot
December 4, 2010 | History
This work doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
Subjects
Automatic theorem proving| Edition | Availability |
|---|---|
1
On simultaneous rigid E-unification
1997, Uppsala University, Computing Science Dept.
in English
9150612174 9789150612172
|
aaaa
|
Book Details
Edition Notes
Includes bibliographical references (p. 106-119) and index.
Thesis (Ph.D.)--Uppsala University, 1997.
Classifications
The Physical Object
Edition Identifiers
Work Identifiers
Community Reviews (0)
Lists
| December 4, 2010 | Edited by Open Library Bot | Added subjects from MARC records. |
| December 8, 2009 | Created by ImportBot | add works page |