Kniha momentálne nie je na sklade

Automatisierung von Terminierungsbeweisen für rekursiv definierte Algorithmen

Autori

Jürgen Giesl

Parametre

Kategórie

Počítače, IT, programovanie

Séria: Dissertationen zur künstlichen Intelligenz

Nákup knihy

Automatisierung von Terminierungsbeweisen für rekursiv definierte Algorithmen, Jürgen Giesl

Jazyk
Rok vydania: 1995

Akonáhle sa objaví, pošleme vám e-mail.

Doručenie

Platobné metódy

Navrhnúť zmenu