- Weitere Titel
-
Sicherheitsbeweise für Straßenverkehr : eine Kombination von Diagrammen und Logik
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Deutsch
- Anmerkungen
-
Oldenburg, Universität Oldenburg, Diss., 2015
- Klassifikation
-
Informatik
- Ereignis
-
Veröffentlichung
- (wo)
-
Oldenburg
- (wer)
-
BIS der Universität Oldenburg
- (wann)
-
2015
- Urheber
- Beteiligte Personen und Organisationen
- URN
-
urn:nbn:de:gbv:715-oops-24183
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:50 MEZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Objekttyp
- Hochschulschrift
Beteiligte
- Linker, Sven
- Olderog, Ernst-Rüdiger
- Hansen, Michael R.
- BIS der Universität Oldenburg
Entstanden
- 2015
Ähnliche Objekte (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
Automating recursive definitions and termination proofs in higher-order logic
On How Traffic Signals Impact the Fundamental Diagrams of Urban Roads
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
Automating recursive definitions and termination proofs in higher-order logic
On How Traffic Signals Impact the Fundamental Diagrams of Urban Roads
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
Automating recursive definitions and termination proofs in higher-order logic