> > > > > machine-learning-for-automated-theorem-proving

Sean B. Holden - Machine Learning For Automated Theorem Proving

Het boek Machine Learning For Automated Theorem Proving van de auteur Sean B. Holden is 3 maal gevonden, 3 maal nieuw en 0 maal tweedehands. "Machine Learning For Automated Theorem Proving" is nieuw te koop vanaf € 104,99 bij Bol.com.

Nieuw (3) vanaf € 104,99 bij Bol.com Toon 3 nieuwe boeken
Bent u de schrijver van dit boek of weet u iets over deze auteur?

Omero.nl is druk bezig om informatie over auteurs toe te voegen. Neem contact met ons op via support@omero.nl om een auteursprofiel aan te maken met een foto, biografie, website adres en sociale media links.
Nieuw
We hebben 3 nieuwe boeken gevonden
Foundations And Trends® In Machine Learning- Machine Learning For Automated Theorem Proving

Type: Paperback
ISBN: 9781680838985
Levertijd: 46

Aanbieder:
€ 104,99
Bekijk boek
Machine Learning For Automated Theorem Proving: Learning To Solve Sat And Qsat

Type: Paperback
ISBN: 9781680838985
Levertijd: 64

Aanbieder:
€ 109,99
Bekijk boek
Machine Learning For Automated Theorem Proving

Type: Paperback
ISBN: 9781680838985
Levertijd: 28

Aanbieder:
€ 117,99
Bekijk boek