Prolistuj nejnovější knihy letošního roku!

Knihu momentálně nemáme skladem

Optimizing proof search by machine learning techniques

Autoři

Thomas Kolbe

Parametry

Počítače, IT, programování

Nákup knihy

Optimizing proof search by machine learning techniques, Thomas Kolbe

Jazyk
Rok vydání: 1997

Jakmile se objeví, pošleme e-mail.

Doručení

Platební metody

Nikdo zatím neohodnotil.Ohodnotit

Informace o vydáníNavrhnout úpravu