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 • Sean Holden B

Pocket

1659:-

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:-

  • 200 sidor
  • 2021
  • Författare: Sean B Holden, Sean Holden B
  • 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 Minimum-Distortion Embedding

    Minimum-Distortion Embedding

    Akshay Agrawal, Alnur Ali, Stephen Boyd, Alnur Ali

    Pocket

    1659:-
  2. bokomslag An Introduction to Variational Autoencoders

    An Introduction to Variational Autoen...

    Diederik P Kingma, Max Welling, Diederik P Kingma, Welling Max

    Pocket

    1279:-
  3. bokomslag A Survey of Statistical Network Models

    A Survey of Statistical Network Models

    Anna Goldenberg, Alice X Zheng, Stephen E Fienberg, Edoardo M Airoldi

    Pocket

    1439:-
  4. bokomslag Advances and Open Problems in Federated Learning

    Advances and Open Problems in Federat...

    Peter Kairouz, H Brendan McMahan, Brendan Avent, Aurelien Bellet, Mehdi Bennis

    Pocket

    1669:-
  5. bokomslag Computational Optimal Transport

    Computational Optimal Transport

    Gabriel Peyre, Marco Cuturi, Gabriel Peyré

    Pocket

    1659:-
  6. bokomslag Graph Kernels

    Graph Kernels

    Karsten Borgwardt, Elisabetta Ghisu, Felipe Llinares-Lopez, Leslie O'Bray, Bastian Rieck

    Pocket

    949:-
  7. bokomslag Learning in Repeated Auctions

    Learning in Repeated Auctions

    Thomas Nedelec, Clement Calauzenes, Noureddine El Karoui, Vianney Perchet, Clément Calauzènes

    Pocket

    1669:-
  8. bokomslag An Introduction to Wishart Matrix Moments

    An Introduction to Wishart Matrix Mom...

    Adrian N Bishop, Pierre Del Moral, Angele Niclas, Angèle Niclas

    Pocket

    1529:-
  9. bokomslag Tensor Regression

    Tensor Regression

    Jiani Liu, Ce Zhu, Zhen Long, Yipeng Liu

    Pocket

    1659:-
  10. bokomslag Spectral Methods for Data Science

    Spectral Methods for Data Science

    Yuxin Chen, Yuejie Chi, Jianqing Fan, Cong Ma

    Pocket

    1659:-