- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
Kaiserslautern, Technische Universität Kaiserslautern, Dissertation, 2018
- Schlagwort
-
Reasoning
Programs
- Ereignis
-
Veröffentlichung
- (wo)
-
Kaiserslautern
- (wer)
-
Technische Universität Kaiserslautern
- (wann)
-
2018
- Urheber
-
Kloos, Johannes
- Beteiligte Personen und Organisationen
-
Majumdar, Rupak
- URN
-
urn:nbn:de:hbz:386-kluedo-52912
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:47 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.
Beteiligte
- Kloos, Johannes
- Majumdar, Rupak
- Technische Universität Kaiserslautern
Entstanden
- 2018
Ähnliche Objekte (12)
Reasoning about terminating functional programs
Reasoning about terminating functional programs
Tools for Reasoning about Effectful Declarative Programs
Debugging asynchronous programs in Python
Asynchronous programs on IoT devices
Quantitative separation logic: a logic for reasoning about probabilistic pointer programs
Reasoning about Ontology Mappings
Default reasoning about probabilities
Default reasoning about probabilities
Default Reasoning about Actions
Reasoning about systems based on incomplete and uncertain models
Decision-theoretic personality-based reasoning about turn-taking conflicts
Reasoning about terminating functional programs
Reasoning about terminating functional programs
Tools for Reasoning about Effectful Declarative Programs
Debugging asynchronous programs in Python
Asynchronous programs on IoT devices
Quantitative separation logic: a logic for reasoning about probabilistic pointer programs
Reasoning about Ontology Mappings
Default reasoning about probabilities
Default reasoning about probabilities
Default Reasoning about Actions
Reasoning about systems based on incomplete and uncertain models
Decision-theoretic personality-based reasoning about turn-taking conflicts
Reasoning about terminating functional programs
Reasoning about terminating functional programs
Tools for Reasoning about Effectful Declarative Programs
Debugging asynchronous programs in Python
Asynchronous programs on IoT devices
Quantitative separation logic: a logic for reasoning about probabilistic pointer programs
Reasoning about Ontology Mappings
Default reasoning about probabilities
Default reasoning about probabilities
Default Reasoning about Actions
Reasoning about systems based on incomplete and uncertain models