Il libro è attualmente esaurito

Optimizing proof search by machine learning techniques

Autori

Thomas Kolbe

Parametri

Computer, IT, programmazione

Acquisto del libro

Optimizing proof search by machine learning techniques, Thomas Kolbe

Lingua
Pubblicato: 1997

Ti avviseremo via email non appena lo rintracceremo.

Metodi di pagamento

Ancora nessuna valutazione.Aggiungi una valutazione

Dettagli dell'edizioneSuggerisci una correzione