An edition of The Church Rosser property in computer algebra and special theorem proving
(1984)
The Church Rosser property in computer algebra and special theorem proving
an investigation of critical pair, completion algorithms
by Franz Winkler
Share
×Close
Last edited by Open Library Bot
December 4, 2010 | History
This edition doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
Showing 1 featured edition. View all 1 editions?
| Edition | Availability |
|---|---|
1
The Church Rosser property in computer algebra and special theorem proving: an investigation of critical pair, completion algorithms
1984, VWGÖ
in English
3853695841 9783853695845
|
aaaa
Libraries near you:
WorldCat
|
Book Details
Edition Notes
Bibliography: p. 182-193.
Classifications
The Physical Object
ID Numbers
Community Reviews (0)
Feedback?
| December 4, 2010 | Edited by Open Library Bot | Added subjects from MARC records. |
| February 13, 2010 | Edited by WorkBot | add more information to works |
| December 10, 2009 | Created by WorkBot | add works page |