Machine Learning for Automated Theorem Proving 1
bokomslag Machine Learning for Automated Theorem Proving
Data & IT

Machine Learning for Automated Theorem Proving

Sean B Holden

Pocket

1679:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Uppskattad leveranstid 3-8 arbetsdagar

Fri frakt för medlemmar vid köp för minst 249:-

  • 202 sidor
  • 2021
  • Författare: Sean B Holden
  • Format: Pocket/Paperback
  • ISBN: 9781680838985
  • Språk: Engelska
  • Antal sidor: 202
  • Utgivningsdatum: 2021-11-22
  • Förlag: Now Publishers Inc

Du kanske gillar

  1. bokomslag Din tid kommer

    Din tid kommer

    Carl-Johan Vallgren

    Pocket

    125:-
  2. bokomslag Minimum-Distortion Embedding

    Minimum-Distortion Embedding

    Akshay Agrawal, Alnur Ali, Stephen Boyd

    Pocket

    1679:-
  3. bokomslag Operations Research and Analytics in Latin America

    Operations Research and Analytics in ...

    Jairo R Montoya-Torres, William J Guerrero, David L Cortés-Murcia

    Inbunden

    2039:-
  4. bokomslag Women-Stealers of Thrayx

    Women-Stealers of Thrayx

    Fox B Holden Fox B Holden

    Pocket

    249:-
  5. bokomslag Vegetarianen

    Vegetarianen

    Han Kang

    Pocket

    115:-
  6. bokomslag Recent Trends and Advances in Artificial Intelligence and Internet of Things

    Recent Trends and Advances in Artific...

    Valentina E Balas, Raghvendra Kumar, Rajshree Srivastava

    Pocket

    2249:-
  7. bokomslag Cozy Corner : mysig och gullig Coco Wyo målarbok

    Cozy Corner : mysig och gullig Coco W...

    Coco Wyo

    Häftad

    99:-
  8. bokomslag Time Armada

    Time Armada

    Fox B Holden, W E Terry, Fox B Holden, W E Terry

    Pocket

    289:-
  9. bokomslag Predictive Global Sensitivity Analysis

    Predictive Global Sensitivity Analysis

    Charles L Munson, Lan Luo, Xiaohui Huang

    Pocket

    1329:-
  10. bokomslag Recent Trends and Advances in Artificial Intelligence and Internet of Things

    Recent Trends and Advances in Artific...

    Valentina E Balas, Raghvendra Kumar, Rajshree Srivastava

    Inbunden

    2249:-