Erscheinungsjahr
Format
Lizenz
TIB-Lesesaalbestand
-
Automated generation of machine verifiable and readable proofs: A case study of Tarski’s geometry
Online Contents | 2015|Schlagwörter: Interactive theorem proving, Automated theorem proving -
Seventeen Provers Under the Hammer
Freier ZugriffDataCite | 2022|Schlagwörter: Computing methodologies → Theorem proving algorithms, Automatic theorem proving, interactive theorem proving -
A Heuristic Prover for Real Inequalities
Online Contents | 2016|Schlagwörter: Interactive theorem proving, Automated theorem proving -
Combining Induction and Saturation-Based Theorem Proving
Online Contents | 2019|Schlagwörter: Saturation-based theorem proving, Inductive theorem proving -
From informal to formal proofs in Euclidean geometry
Online Contents | 2018|Schlagwörter: Interactive theorem proving, Automated theorem proving -
Automated generation of machine verifiable and readable proofs: A case study of Tarski’s geometry
Online Contents | 2015|Schlagwörter: Interactive theorem proving, Automated theorem proving -
HOL-Boogie-An Interactive Prover for the Boogie Program-Verifier
British Library Conference Proceedings | 2008|Schlagwörter: Automatic theorem proving, Theorem proving -
Canonical Big Operators
British Library Conference Proceedings | 2008|Schlagwörter: Automatic theorem proving, Theorem proving -
First-Class Type Classes
British Library Conference Proceedings | 2008|Schlagwörter: Automatic theorem proving, Theorem proving -
Certifying a Termination Criterion Based on Graphs, without Graphs
British Library Conference Proceedings | 2008|Schlagwörter: Automatic theorem proving, Theorem proving -
A Formalized Theory for Verifying Stability and Convergence of Automata in PVS
British Library Conference Proceedings | 2008|Schlagwörter: Automatic theorem proving, Theorem proving -
Secure Microkernels, State Monads and Scalable Refinement
British Library Conference Proceedings | 2008|Schlagwörter: Automatic theorem proving, Theorem proving -
Combining Induction and Saturation-Based Theorem Proving
Online Contents | 2019|Schlagwörter: Saturation-based theorem proving, Inductive theorem proving -
Formalizing Soundness of Contextual Effects
British Library Conference Proceedings | 2008|Schlagwörter: Automatic theorem proving, Theorem proving -
The 11th IJCAR automated theorem proving system competition – CASC-J11
IOS Press | 2023|Schlagwörter: Automated theorem proving -
Certified Exact Transcendental Real Number Computation in Coq
British Library Conference Proceedings | 2008|Schlagwörter: Automatic theorem proving, Theorem proving -
An ACL2 Tutorial (Invited Talk)
British Library Conference Proceedings | 2008|Schlagwörter: Automatic theorem proving, Theorem proving -
Proof Pearl: Revisiting the Mini-rubik in Coq
British Library Conference Proceedings | 2008|Schlagwörter: Automatic theorem proving, Theorem proving -
Imperative Functional Programming with Isabelle/HOL
British Library Conference Proceedings | 2008|Schlagwörter: Automatic theorem proving, Theorem proving -
LCF-Style Propositional Simplification with BDDs and SAT Solvers
British Library Conference Proceedings | 2008|Schlagwörter: Automatic theorem proving, Theorem proving
Meine Suche schicken an (beta)
Schicken Sie ihre Suchanfrage (Suchterm ohne Filter) an andere Datenbanken, Portale und Kataloge, um ggf. weitere interessante Treffer zu finden:
Dimensions ist eine Datenbank für Abstracts und Zitate, die Informationen zu Forschungsförderungen mit daraus resultierenden Veröffentlichungen, Studien und Patenten verknüpft.
Im TIB AV-Portal können audiovisuelle Medien aus Wissenschaft und Lehre recherchiert und eigene wissenschaftliche Videos publiziert werden.
Im FID move kann nach fachspezifischer Literatur, Forschungsdaten und weitere Informationen aus der Mobilitäts- und Verkehrsforschung gesucht werden.
Der Open Research Knowledge Graph liefert strukturiert beschriebene Forschungsinhalte und macht diese vergleichbar.
Frei zugänglicher Ausschnitt der Verbunddatenbank K10plus des GBV und des SWB mit für die Fernleihe und Direktlieferdienste relevanten Materialien.