Il libro è attualmente esaurito
Acquisto del libro
Automatisierung von Terminierungsbeweisen für rekursiv definierte Algorithmen, Jürgen Giesl
- Lingua
- Pubblicato
- 1995
Ti avviseremo via email non appena lo rintracceremo.
Metodi di pagamento
Ancora nessuna valutazione.