Hierarchical planning through propositional logic - highly efficient, versatile, and flexible : [kumulative Dissertation]
2019
1 Online-Ressource
Enthält Zeitschriftenaufsätze
Theses
Electronic Resource
English
SLUB | 1977
|TIBKAT | 2020
|Model-Checking Security Protocol with Propositional Projection Temporal Logic
British Library Online Contents | 2010
|