Het boek is momenteel niet op voorraad

Optimizing proof search by machine learning techniques

Auteurs

Thomas Kolbe

Parameters

Computers, IT, Programmeren

Een boek kopen

Optimizing proof search by machine learning techniques, Thomas Kolbe

Taal
Jaar van publicatie: 1997

Zodra we het ontdekt hebben, sturen we een e-mail.

Betaalmethoden

Nog niemand heeft beoordeeld.Tarief

Informatie over de releaseEen wijziging voorstellen