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
Artemov, Sergei. editor.
Format:
Electronic Resources
Alıntı:
system logics -- Logics of proof and justification -- Non-monotonic reasoning -- Logic in game theory and
Yazar
Fischer, Bernd. editor. (orcid)0000-0002-1815-218X
Format:
Electronic Resources
Alıntı:
challenges in both theoretical aspects of computing and the exploitation of theory through methods and tools
Yazar
Huisman, Marieke. editor.
Format:
Electronic Resources
Alıntı:
Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden
Yazar
Ayala-Rincón, Mauricio. editor. (orcid)0000-0003-0089-3905
Format:
Electronic Resources
Alıntı:
System Performance and Evaluation. http://scigraph.springernature.com/things/product-market-codes/I
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
Legay, Axel. editor.
Format:
Electronic Resources
Alıntı:
, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS
Yazar
Legay, Axel. editor.
Format:
Electronic Resources
Alıntı:
, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS
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
Arama Sonuçlarını Sınırlandır
Daraltılmış: