Хайлтын үр дүнгүүд - "proving"
Таны хайлт доторх Санал болгосон сэдвүүд.
Таны хайлт доторх Санал болгосон сэдвүүд.
- theorem proving 7
- model checking 6
- thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering 6
- thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation 6
- Mathematical theory of computation 5
- automata theory 5
- formal logic 5
- software architecture 5
- thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence 5
- Algorithms & data structures 4
- Control Structures and Microprogramming 4
- QA75.5-76.95 4
- SAT and SMT solving 4
- Theorem Proving 4
- bic Book Industry Communication::U Computing & information technology::UY Computer science 4
- embedded systems 4
- mathematics 4
- software engineering 4
- static and dynamic program analysis 4
- thema EDItEUR::U Computing and Information Technology::UY Computer science 4
- 1713–1806 3
- Archivalien 3
- Bahl 3
- Bearbeitet 3
- Brandenburg 3
- Claudia 3
- Computer science 3
- Gesellschaft 3
- Joafchimsthaler Gymnasium 3
- Kloosterhuis 3
-
-
-
-
Automated Reasoning with Analytic Tableaux and Related Methods
Хэвлэсэн 2025Нөхцлүүд: “…theorem proving…”
Бүрэн текст авах
Online -
Tools and Algorithms for the Construction and Analysis of Systems
Хэвлэсэн 2021Нөхцлүүд: “…theorem proving…”
Бүрэн текст авах
Online -
Foundations of Software Science and Computation Structures: 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of So...
Хэвлэсэн 2021Нөхцлүүд: “…theorem proving…”
Бүрэн текст авах
Online -
Tools and Algorithms for the Construction and Analysis of Systems
Хэвлэсэн 2021Нөхцлүүд: “…theorem proving…”
Бүрэн текст авах
Online -
Deductive verification of object-oriented software : dynamic frames, dynamic logic and predicate abstraction
Хэвлэсэн 2021Нөхцлүүд: “…theorem proving…”
Бүрэн текст авах
Online -
From Formal Semantics to Verified Slicing : A Modular Framework with Applications in Language Based Security
Хэвлэсэн 2021Нөхцлүүд: “…Theorem Proving…”
Бүрэн текст авах
Online -
Programming Languages and Systems: 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018,...
Хэвлэсэн 2021Нөхцлүүд: “…theorem proving…”
Бүрэн текст авах
Online -
Verification-based software-fault detection
Хэвлэсэн 2021Нөхцлүүд: “…Theorem Proving…”
Бүрэн текст авах
Online -
Tools and Algorithms for the Construction and Analysis of Systems
Хэвлэсэн 2021Нөхцлүүд: “…theorem-proving…”
Бүрэн текст авах
Online -
Tools and Algorithms for the Construction and Analysis of Systems
Хэвлэсэн 2021Нөхцлүүд: “…theorem-proving…”
Бүрэн текст авах
Online -
Proof and Proving in Mathematics Education
Хэвлэсэн 2021Нөхцлүүд: “…proving…”
Бүрэн текст авах
Online -
-
Militaer und Gesellschaft in Preußen – Quellen zur Militaersozialisation 1713–1806
Хэвлэсэн 2022Нөхцлүүд: “…Pröve…”
Бүрэн текст авах
Online -
Militaer und Gesellschaft in Preußen – Quellen zur Militaersozialisation 1713–1806
Хэвлэсэн 2022Нөхцлүүд: “…Pröve…”
Бүрэн текст авах
Online -
Militaer und Gesellschaft in Preußen – Quellen zur Militaersozialisation 1713–1806
Хэвлэсэн 2022Нөхцлүүд: “…Pröve…”
Бүрэн текст авах
Online -
Autonomous Vehicles Technological Trends
Хэвлэсэн 2023Нөхцлүүд: “…proving ground…”
Бүрэн текст авах
Online