Kniha momentálne nie je na sklade

Optimizing proof search by machine learning techniques

Autori

Thomas Kolbe

Parametre

Počítače, IT, programovanie

Nákup knihy

Optimizing proof search by machine learning techniques, Thomas Kolbe

Jazyk
Rok vydania: 1997

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

Doručenie

Platobné metódy

Nikto zatiaľ neohodnotil.Ohodnotiť

Informácie o vydaníNavrhnúť zmenu