Yazar
Schiex, Thomas. editor. (orcid)0000-0001-6049-3415
Format:
Electronic Resources
Alıntı:
Program Synthesis -- Lemma Synthesis for Automating Induction over Algebraic Data Types -- CP and Data
View Other Search Results
Yazar
Hooker, John. editor. (orcid)0000-0003-3169-1871
Format:
Electronic Resources
Alıntı:
Data Structures and Information Theory. http://scigraph.springernature.com/things/product-market
View Other Search Results
Arama Sonuçlarını Sınırlandır
Daraltılmış: