- Alternative title
-
Sicherheitsbeweise für Straßenverkehr : eine Kombination von Diagrammen und Logik
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Deutsch
- Notes
-
Oldenburg, Universität Oldenburg, Diss., 2015
- Classification
-
Informatik
- Event
-
Veröffentlichung
- (where)
-
Oldenburg
- (who)
-
BIS der Universität Oldenburg
- (when)
-
2015
- Creator
- Contributor
- URN
-
urn:nbn:de:gbv:715-oops-24183
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
15.08.2025, 7:30 AM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Object type
- Hochschulschrift
Associated
- Linker, Sven
- Olderog, Ernst-Rüdiger
- Hansen, Michael R.
- BIS der Universität Oldenburg
Time of origin
- 2015
Other Objects (12)
Termination proofs for logic programs
Termination proofs for logic programs
Dialogue Games and Logical Proofs in String Diagrams
Figuring it out : logic diagrams
Models for the logic of possible proofs
Automatic proofs and refutations for higher-order logic
Automatic Proofs and Refutations for Higher-Order Logic
Proofs, programs and executable specifications in higher order logic
Concise Justifications Versus Detailed Proofs for Description Logic Entailments
Proofs, programs and executable specifications in higher order logic
Truth Diagrams Versus Extant Notations for Propositional Logic
Logic Diagrams as Argument Maps in Eristic Dialectics
Termination proofs for logic programs
Termination proofs for logic programs
Dialogue Games and Logical Proofs in String Diagrams
Figuring it out : logic diagrams
Models for the logic of possible proofs
Automatic proofs and refutations for higher-order logic
Automatic Proofs and Refutations for Higher-Order Logic
Proofs, programs and executable specifications in higher order logic
Concise Justifications Versus Detailed Proofs for Description Logic Entailments
Proofs, programs and executable specifications in higher order logic
Truth Diagrams Versus Extant Notations for Propositional Logic
Logic Diagrams as Argument Maps in Eristic Dialectics
Termination proofs for logic programs
Termination proofs for logic programs
Dialogue Games and Logical Proofs in String Diagrams
Figuring it out : logic diagrams
Models for the logic of possible proofs
Automatic proofs and refutations for higher-order logic
Automatic Proofs and Refutations for Higher-Order Logic
Proofs, programs and executable specifications in higher order logic
Concise Justifications Versus Detailed Proofs for Description Logic Entailments
Proofs, programs and executable specifications in higher order logic
Truth Diagrams Versus Extant Notations for Propositional Logic