Planen im Fluentkalkül mit binären Entscheidungsdiagrammen
Aus International Center for Computational Logic
Planen im Fluentkalkül mit binären Entscheidungsdiagrammen
Hans-Peter StörrHans-Peter Störr
![Planen im Fluentkalkül mit binären Entscheidungsdiagrammen Planen im Fluentkalkül mit binären Entscheidungsdiagrammen](/w/images/thumb/e/e2/Missing_document_icon.png/150px-Missing_document_icon.png)
Hans-Peter Störr
Planen im Fluentkalkül mit binären Entscheidungsdiagrammen
Phd thesis, Dresden University of Technology, 2005
Planen im Fluentkalkül mit binären Entscheidungsdiagrammen
Phd thesis, Dresden University of Technology, 2005
- Forschungsgruppe:Research Group: WissensverarbeitungKnowledge Representation and Reasoning
@phdthesis{S2005,
author = {Hans-Peter St{\"{o}}rr},
title = {Planen im Fluentkalk{\"{u}}l mit bin{\"{a}}ren
Entscheidungsdiagrammen},
school = {Dresden University of Technology},
year = {2005}
}