Yazar
Meyer, Bertrand. editor.
Format:
Electronic Resources
Alıntı:
Management of Computing and Information Systems.
Yazar
Olivetti, Nicola. editor.
Format:
Electronic Resources
Alıntı:
Reasoning and Mechanizing Mathematics -- First-order Logic and Proof Theory -- First-order Theorem Proving
View Other Search Results
Yazar
Urban, Christian. editor.
Format:
Electronic Resources
Alıntı:
Systems and Data Security.
Yazar
Cohen, Ernie. editor.
Format:
Electronic Resources
Alıntı:
-- Parallel Bounded Verification of Alloy Models by TranScoping -- Extending the Theory of Arrays: memset
Yazar
Bikakis, Antonis. editor.
Format:
Electronic Resources
Alıntı:
Rules on the Web. From Theory to Applications 8th International Symposium, RuleML 2014, Co-located
Yazar
Demri, Stéphane. editor.
Format:
Electronic Resources
Alıntı:
-- Implementing Tableau Calculi Using BDDs: BDDTab System Description -- Approximations for Model Construction
Yazar
Calimeri, Francesco. editor.
Format:
Electronic Resources
Alıntı:
-- Multi-Level Algorithm Selection for ASP -- Clause-Learning For Modular Systems -- Solving disjunctive fuzzy
Yazar
Fermé, Eduardo. editor.
Format:
Electronic Resources
Alıntı:
-- Verification of Context-Sensitive Knowledge and Action Bases -- System Descriptions System aspmt2smt: Computing
Arama Sonuçlarını Sınırlandır
Daraltılmış: