Kniha momentálne nie je na sklade
Nákup knihy
Automatisierung von Terminierungsbeweisen für rekursiv definierte Algorithmen, Jürgen Giesl
- Jazyk
- Rok vydania
- 1995
Akonáhle sa objaví, pošleme e-mail.
Platobné metódy
Nikto zatiaľ neohodnotil.
Z Knihobotu sa stáva Bookbot
