Resolution und Prädikatenlogik erster Stufe (8. Vorlesung IntroAI SS08)
Aus Semantic-Web-Grundlagen
Version vom 15:51, 19. Jun. 2008 bei Sebastian Rudolph (Diskussion | Beiträge)
Vorlesung | |
---|---|
Resolution und Prädikatenlogik erster Stufe
| |
Dozent | Sebastian Rudolph |
Datum | June 12 2008 |
von | 14:15 |
bis | 15:45 |
Ort | Im Neuenheimer Feld 328, SR 25 |
Veranstaltungsreihe IntroAI SS08
| |
Nummer | 8 |
Folien:
- IntroAI-V08.ppt (Powerpoint)
- IntroAI-V08.pdf (PDF)
Fakten zu Resolution und Prädikatenlogik erster Stufe (8. Vorlesung IntroAI SS08)RDF-Feed
Datum | 12. Juni 2008 + |
Dozent | Sebastian Rudolph + |
Endzeit | 12. Juni 2008 15:45 + |
Nummer | 8 + |
Ort | Im Neuenheimer Feld 328, SR 25 + |
Serie | IntroAI SS08 + |
Startzeit | 12. Juni 2008 14:15 + |
Titel | Resolution und Prädikatenlogik erster Stufe + |
Unterlagen | IntroAI-V08.pdf + |