Yazar
Lutz, Carsten. editor.
Format:
Electronic Resources
Alıntı:
: description logics; theorem proving and model building; decision procedures; decision procedures for
Yazar
Guan, Nan. editor.
Format:
Electronic Resources
Alıntı:
focus on the application of formal techniques and tools for building reliable, safe, secure, and smart
View Other Search Results
Yazar
Herzig, Andreas. editor. (orcid)0000-0003-0833-2782
Format:
Electronic Resources
Alıntı:
and model building, combinations of systems, constraint solving, description logics, interactive
Yazar
Clerbout, Nicolas. author.
Format:
Electronic Resources
Alıntı:
of Choice, and its translation into CTT -- Chapter 5. Building a winning P-strategy out of a CTT
Yazar
Doberkat, Ernst-Erich. author.
Format:
Electronic Resources
Alıntı:
topologies, building on selected topics like uniform spaces, Gödel’s Completeness Theorem and topological
Yazar
Asher, Nicholas. editor.
Format:
Electronic Resources
Alıntı:
Regular Articles -- Building PMCFG Parsers as Datalog Program Transformations -- Representing
Yazar
Rodin, Andrei. author.
Format:
Electronic Resources
Alıntı:
axiomatic theory building, which goes beyond the classical Hilbert-style Axiomatic Method. The new notion of
Yazar
Hudec, Miroslav. author.
Format:
Electronic Resources
Alıntı:
classifying it or building rule-based systems on it. But they are often not aware of the nature of this data
Yazar
Lecomte, Thierry. editor.
Format:
Electronic Resources
Alıntı:
of Requirement Specifications: A V-Model for Building Formal Methods -- Static Verification of
Yazar
Vojnar, Tomáš. editor. (orcid)0000-0002-2746-8792
Format:
Electronic Resources
Alıntı:
-- Building Better Bit-Blasting for Floating-Point Problems -- The Axiom Profiler: Understanding and Debugging
Yazar
Montano, Ulianov. author.
Format:
Electronic Resources
Alıntı:
mathematics in the same terms as it accounts for more traditional aesthetic phenomena. Building upon a view
Yazar
Lutz, Carsten. editor.
Format:
Electronic Resources
Alıntı:
Logics -- Explaining Axiom Pinpointing -- Asymmetric Unification and Disunification -- Building and
Arama Sonuçlarını Sınırlandır
Daraltılmış: