Z Knihobotu sa stáva Bookbot

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.

Platobné metódy

Nikto zatiaľ neohodnotil.Ohodnotiť

Informácie o vydaníNavrhnúť zmenu