- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
RWTH Aachen University, Dissertation, 2020
- Keyword
-
Automatische Handlungsplanung
- Event
-
Veröffentlichung
- (where)
-
Aachen
- (who)
-
Universitätsbibliothek der RWTH Aachen
- (when)
-
2020
- Creator
- Contributor
- DOI
-
10.18154/RWTH-2020-06076
- URN
-
urn:nbn:de:101:1-2023032902280743660115
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:42 PM CET
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.
Associated
- Leofante, Francesco
- Ábrahám, Erika
- Tacchella, Armando
- Universitätsbibliothek der RWTH Aachen
Time of origin
- 2020
Other Objects (12)
Interpolation modulo theories
Proof complexity of Satisfiability Modulo Theories
On solving real-algebraic formulas in a satisfiability-modulo-theories framework
Verification of Stochastic Systems by Stochastic Satisfiability Modulo Theories with Continuous Domain (CSSMT)
Stochastic satisfiability modulo theories : a symbolic technique for the analysis of probabilistic hybrid systems
Stochastic satisfiability modulo theories : a symbolic technique for the analysis of probabilistic hybrid systems
Superposition modulo theory
14-7, 2e módulo
8-12, 3e módulo
Beispiele zur Modulo-Rechnung
Cap. XXIX Del modulo
Modulo te tuo metire.
Interpolation modulo theories
Proof complexity of Satisfiability Modulo Theories
On solving real-algebraic formulas in a satisfiability-modulo-theories framework
Verification of Stochastic Systems by Stochastic Satisfiability Modulo Theories with Continuous Domain (CSSMT)
Stochastic satisfiability modulo theories : a symbolic technique for the analysis of probabilistic hybrid systems
Stochastic satisfiability modulo theories : a symbolic technique for the analysis of probabilistic hybrid systems
Superposition modulo theory
14-7, 2e módulo
8-12, 3e módulo
Beispiele zur Modulo-Rechnung
Cap. XXIX Del modulo
Modulo te tuo metire.
Interpolation modulo theories
Proof complexity of Satisfiability Modulo Theories
On solving real-algebraic formulas in a satisfiability-modulo-theories framework
Verification of Stochastic Systems by Stochastic Satisfiability Modulo Theories with Continuous Domain (CSSMT)
Stochastic satisfiability modulo theories : a symbolic technique for the analysis of probabilistic hybrid systems
Stochastic satisfiability modulo theories : a symbolic technique for the analysis of probabilistic hybrid systems
Superposition modulo theory
14-7, 2e módulo
8-12, 3e módulo
Beispiele zur Modulo-Rechnung
Cap. XXIX Del modulo