MARTIN-LUTHER-UNIVERSITÄT HALLE-WITTENBERG | LOGISCHE PROGRAMMIERUNG UND DEDUKTIVE DB |
Institut für Informatik | Wintersemester 2012/13 |
Prof. Dr. Stefan Brass | [StudIP] |
Home Termine Kontakt Folien Ablauf Prüfung Literatur Software Links
Stefan Brass (brass@informatik.uni-halle.de), 10. Oktober 2012
Original URL: http://www.informatik.uni-halle.de/~brass/lp12/view.html [XHTML 1.0 Checked] [CSS Checked] [Links Geprüft] [Impressum]