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
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}
}