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
- – 21. Dezember 1997
- Download