Bedingte und rekursive Aktionen im Fluent-Kalkül
Aus International Center for Computational Logic
Bedingte und rekursive Aktionen im Fluent-Kalkül
Masterarbeit von Hans-Peter Störr
- Betreuer Steffen Hölldobler
- Wissensverarbeitung
- – 13. Oktober 1997
- Download