The book is currently out of stock
The church rosser property in computer algebra and special theorem proving: an investigation of critical pair, completion algorithms
Authors
Parameters
Book purchase
The church rosser property in computer algebra and special theorem proving: an investigation of critical pair, completion algorithms, Franz Winkler
- Language
- Released
- 1984
We’ll notify you via email once we track it down.
Payment methods
- Title
- The church rosser property in computer algebra and special theorem proving: an investigation of critical pair, completion algorithms
- Language
- German
- Authors
- Franz Winkler
- Publisher
- VWGÖ
- Released
- 1984
- ISBN10
- 3853695841
- ISBN13
- 9783853695845
- Series
- Dissertationen der Johannes-Kepler-Universität Linz
- Category
- Computers, IT, Programming