Logical Modeling
Aus International Center for Computational Logic
Logical Modeling
Lehrveranstaltung mit SWS 0/2/0 (Vorlesung/Übung/Praktikum) in SS 2016
Dozent
Tutor
Umfang (SWS)
- 0/2/0
Module
Leistungskontrolle
- Hausarbeit
There will be more details soon.
Veranstaltungskalender abonnieren (icalendar)
| Seminar | Introduction | DS4, 13. April 2016 in APB E005 | Datei |
| Seminar | Introduction: ASP | DS4, 20. April 2016 in APB E005 | |
| Seminar | Introduction: OWL | DS4, 4. Mai 2016 in APB E005 | |
| Seminar | Introduction: FO(ID), IDP System | DS4, 11. Mai 2016 in APB E005 | |
| Seminar | Discussion: Assignment Topics | DS4, 25. Mai 2016 in APB E005 | |
| Vorlesung | Discussion: Assignment Topics | DS4, 8. Juni 2016 in APB E005 | |
| Vorlesung | Presentation: Practical Assignments | DS4, 13. Juli 2016 in APB E005 |
Kalender
