Neurosymbolic Programming

Häftad, Engelska, 2021

Av Swarat Chaudhuri, Kevin Ellis, Oleksandr Polozov, Rishabh Singh, Armando Solar-Lezama, Yisong Yue

1 389 kr

Slutsåld

Produktinformation

Mer från samma författare

NASA Formal Methods
Del 13903

NASA Formal Methods

Kristin Yvonne Rozier, Swarat Chaudhuri

1 439 kr

Computer Aided Verification

Computer Aided Verification

Swarat Chaudhuri, Azadeh Farzan

739 kr

Computer Aided Verification

Computer Aided Verification

Swarat Chaudhuri, Azadeh Farzan

739 kr

Du kanske också är intresserad av

Progress of Concurrent Objects

Progress of Concurrent Objects

Hongjin Liang, Xinyu Feng

2 039 kr

Refinement Types

Refinement Types

Ranjit Jhala, Niki Vazou

1 909 kr

QED at Large

QED at Large

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

1 109 kr

Shape Analysis

Shape Analysis

Bor-Yuh Evan Chang, Cezara Dragoi, Roman Manevich, Noam Rinetzky, Xavier Rival, Cezara Drăgoi, Dr&

2 009 kr

Program Synthesis

Program Synthesis

Sumit Gulwani, Oleksandr Polozov, Rishabh Singh

1 689 kr

Computer Aided Verification

Computer Aided Verification

Swarat Chaudhuri, Azadeh Farzan

739 kr

Accounting

Accounting

Kevin Ellis

219 kr

Daily Diary

Daily Diary

Rishabh Singh

189 kr

QuickBooks

QuickBooks

Kevin Ellis

289 kr

NASA Formal Methods
Del 13903

NASA Formal Methods

Kristin Yvonne Rozier, Swarat Chaudhuri

1 439 kr

Tillhör följande kategorier