Neurosymbolic Programming 1
bokomslag Neurosymbolic Programming
Data & IT

Neurosymbolic Programming

Swarat Chaudhuri • Kevin Ellis • Oleksandr Polozov • Rishabh Singh • Armando Solar-Lezama

Pocket

1209:-

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

  • 98 sidor
  • 2021
  • Författare: Swarat Chaudhuri, Kevin Ellis, Oleksandr Polozov, Rishabh Singh, Armando Solar-Lezama
  • Format: Pocket/Paperback
  • ISBN: 9781680839340
  • Språk: Engelska
  • Antal sidor: 98
  • Utgivningsdatum: 2021-12-09
  • Förlag: now publishers Inc

Du kanske gillar

  1. bokomslag Progress of Concurrent Objects

    Progress of Concurrent Objects

    Xinyu Feng Hongjin Liang

    Pocket

    1609:-
  2. bokomslag Refinement Types

    Refinement Types

    Niki Vazou Ranjit Jhala

    Pocket

    1669:-
  3. bokomslag Strumenti digitali per l'insegnamento della gestione strategica all'università

    Strumenti digitali per l'insegnamento...

    Saúl Alfonso Esparza Rodríguez, H Steve Leslie, M F E Lezama D D L Villegas, H Steve Leslie, M F E Lezama D D L Villegas

    Pocket

    719:-
  4. bokomslag QED at Large

    QED at Large

    Talia Ringer, Karl Palmskog, Ilya Sergey, Milos Gligoric, Zachary Tatlock

    Pocket

    1119:-
  5. bokomslag Transmission Network Expansion Planning Problem Considering SCC and Active Power Losses

    Transmission Network Expansion Planni...

    Luis A Gallego, Jesus M Lopez Lezama, Dany Huamannahui Huanca, Luis A Gallego, Jesus M Lopez Lezama

    Pocket

    609:-
  6. bokomslag Smart Factories for Industry 5.0 Transformation

    Smart Factories for Industry 5.0 Tran...

    R Nidhya, Manish Kumar, S Karthik, Rishabh Anand, S Balamurugan

    Inbunden

    4509:-
  7. bokomslag Shape Analysis

    Shape Analysis

    Bor-Yuh Evan Chang, Cezara Dragoi, Roman Manevich, Noam Rinetzky, Xavier Rival

    Pocket

    1669:-
  8. bokomslag Power Systems Research and Operation

    Power Systems Research and Operation

    Olexandr Kyrylenko, Andrii Zharkin, Oleksandr Butkevych, Ihor Blinov, Ievgen Zaitsev

    Inbunden

    2009:-
  9. bokomslag Human Behavior Understanding

    Human Behavior Understanding

    Albert Ali Salah, Javier Ruiz-Del-Solar, Cetin Mericli, Pierre-Yves Oudeyer, Javier Ruiz-Del-Solar

    Pocket

    689:-
  10. bokomslag Public Sector Management in Italy

    Public Sector Management in Italy

    Massimo Sargiacomo, Davide Maggi, Antonio D'Andreamatteo, Mario Del Vecchio, Armando Della Porta

    Pocket

    619:-

Andra av samma författare

  1. bokomslag Computer-Assisted Query Formulation

    Computer-Assisted Query Formulation

    Armando Solar-Lezama Alvin Cheung

    Pocket

    1239:-
  2. bokomslag Program Synthesis

    Program Synthesis

    Sumit Gulwani, Oleksandr Polozov, Rishabh Singh

    Pocket

    1529:-
  3. bokomslag Accounting

    Accounting

    Kevin Ellis

    Pocket

    219:-
  4. bokomslag QuickBooks

    QuickBooks

    Kevin Ellis

    Pocket

    289:-
  5. bokomslag Accounting and QuickBooks - 2 in 1

    Accounting and QuickBooks - 2 in 1

    Kevin Ellis

    Pocket

    339:-
  6. bokomslag NASA Formal Methods

    NASA Formal Methods

    Swarat Chaudhuri Kristin Yvonne Rozier

    Pocket

    1439:-
  7. bokomslag Computer Aided Verification

    Computer Aided Verification

    Azadeh Farzan Swarat Chaudhuri

    Pocket

    749:-
  8. bokomslag Computer Aided Verification

    Computer Aided Verification

    Azadeh Farzan Swarat Chaudhuri

    Pocket

    749:-
  9. bokomslag Daily Diary

    Daily Diary

    Rishabh Singh

    Pocket

    189:-