Yazar
Watt, Stephen M. editor.
Format:
Electronic Resources
Alıntı:
about Mathematical Theories -- Matching Concepts across HOL Libraries -- Mining State-Based Models from
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
Yazar
Giorgini, Paolo. editor.
Format:
Electronic Resources
Alıntı:
Systems and Data Security. https://scigraph.springernature.com/ontologies/product-market-codes/I
Arama Sonuçlarını Sınırlandır
Daraltılmış: