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

1729:-

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

Uppskattad leveranstid 7-12 arbetsdagar

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

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

Du kanske gillar

  1. bokomslag Gift For Terra

    Gift For Terra

    Fox B Holden

    Pocket

    259:-
  2. bokomslag Somewhere I'll Find You & The Time Armada

    Somewhere I'll Find You & The Time Ar...

    Milton Lesser Fox B Holden

    Häftad

    349:-
  3. Ny
    bokomslag Watch Me (Shatter Me: The New Republic)

    Watch Me (Shatter Me: The New Republic)

    Tahereh Mafi

    Pocket

    229:-
  4. bokomslag Man the Tech-Men Made

    Man the Tech-Men Made

    Fox B Holden

    Pocket

    279:-
  5. bokomslag Down Went McGinty

    Down Went McGinty

    Fox B Holden

    Pocket

    259:-
  6. bokomslag Sunrise on the Reaping

    Sunrise on the Reaping

    Suzanne Collins

    Inbunden

    349:-
  7. bokomslag Beyond the X Ecliptic

    Beyond the X Ecliptic

    Fox B Holden

    Pocket

    269:-
  8. Ny
    bokomslag Stacken

    Stacken

    Annika Norlin

    Pocket

    115:-
  9. Ny
    bokomslag Vägen in

    Vägen in

    Anders Nilsson • Peter Lindmark

    Inbunden

    299:-
  10. bokomslag Din tid kommer

    Din tid kommer

    Carl-Johan Vallgren

    Pocket

    79:- (125:-)