Yazar
Olivetti, Nicola. editor.
Format:
Electronic Resources
Alıntı:
Reasoning and Mechanizing Mathematics -- First-order Logic and Proof Theory -- First-order Theorem Proving
Yazar
Cohen, Ernie. editor.
Format:
Electronic Resources
Alıntı:
-- Parallel Bounded Verification of Alloy Models by TranScoping -- Extending the Theory of Arrays: memset
View Other Search Results
Yazar
Bensalem, Saddek. editor.
Format:
Electronic Resources
Alıntı:
From Programs to Systems. The Systems perspective in Computing ETAPS Workshop, FPS 2014, in Honor
Yazar
Chechik, Marsha. editor.
Format:
Electronic Resources
Alıntı:
, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS
Yazar
Panetto, Hervé. editor. (orcid)0000-0002-5537-2261
Format:
Electronic Resources
Alıntı:
Knowledge based Systems. https://scigraph.springernature.com/ontologies/product-market-codes/I21030
Yazar
Baier, Christel. editor.
Format:
Electronic Resources
Alıntı:
, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS
Yazar
Ábrahám, Erika. editor.
Format:
Electronic Resources
Alıntı:
, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS
Arama Sonuçlarını Sınırlandır
Daraltılmış: