Compositional Synthesis of Piece-Wise Functions by Learning Classifiers

New York, NY / Association for Computing Machinery (2018) [Fachzeitschriftenartikel]

ACM transactions on computational logic : TOCL
Band: 19
Ausgabe: 2
Seite(n): 10

Autorinnen und Autoren

Autorinnen und Autoren

Neider, Daniel
Saha, Shambwaditya
Madhusudan, P.

Identifikationsnummern