Name: Machine Learning for Automated Theorem Proving
Price: 1142.95 DKK
Availability: InStock
Author: Sean B. Holden
ISBN: 9781680838985

Machine Learning for Automated Theorem Proving af Sean B. Holden

Du sparer 0% ift. normalprisen Spar 0%

Paperback
8-11 hverdage
1.142,95 kr.

Sprog:
Engelsk

ISBN:
9781680838985

Forlag:
now publishers Inc

Indbinding:
Paperback

Sideantal:
202

Udgivet:
22. november 2021

Størrelse:
156x11x234 mm.

Vægt:
316 g.

BLACK WEEK
1.142,95 kr.
~~1.142,95 kr.~~

Gratis fragt

Leveringstid: 8-11 hverdage

Forventet levering: 10. december 2024

Bag om Sean B. Holden

Vis alle bøger af Sean B. Holden

Brugerbedømmelser af Machine Learning for Automated Theorem Proving

Andre købte også..

Find lignende bøger

Bogen Machine Learning for Automated Theorem Proving findes i følgende kategorier:

Business og læring > Computer og IT
Databehandling og informationsteknologi > Informatik > Kunstig intelligens > Machine learning

Machine Learning for Automated Theorem Proving

Bag om Sean B. Holden

Brugerbedømmelser af Machine Learning for Automated Theorem Proving

Gør som tusindvis af andre bogelskere