Jan Heering
Higher-order algebra, logic, and term rewriting
Jan Heering, Karl Meinke, Bernhard Moller · 1994
Where to buy
Amazon’s price changes daily, so the most accurate place to see it is there, at the moment you buy.
View on AmazonBook details
- Year
- 1994
- Language
- English
- Publisher
- Springer
- Editions
- 6
- Pages
- 344
- ISBN
- 9783540582335
Data source: Wikidata