Reaching Definability via Abduction
Aus International Center for Computational Logic
Reaching Definability via Abduction
Masterarbeit von Evgeny Sherkhonov
- Betreuer Steffen Hölldobler
- Wissensverarbeitung
- 16. April 2011 – 16. April 2011