The book is currently out of stock
Book purchase
Automatisierung von Terminierungsbeweisen für rekursiv definierte Algorithmen, Jürgen Giesl
- Language
- Released
- 1995
We’ll notify you via email once we track it down.
Payment methods
No one has rated yet.