Resolution und Prädikatenlogik erster Stufe (8. Vorlesung IntroAI SS09)
Aus Semantic-Web-Grundlagen
| Vorlesung | |
|---|---|
Resolution und Prädikatenlogik erster Stufe
| |
| Dozent | Sebastian Rudolph |
| Datum | June 8 2009 |
| von | 14:15 |
| bis | 15:45 |
| Ort | Im Neuenheimer Feld 328, SR 25 |
Veranstaltungsreihe IntroAI SS09
| |
| Nummer | 8 |
Folien:
- IntroAI-09-V08.pdf (PDF)
Fakten zu Resolution und Prädikatenlogik erster Stufe (8. Vorlesung IntroAI SS09)RDF-Feed
| Datum | 8. Juni 2009 + |
| Dozent | Sebastian Rudolph + |
| Endzeit | 8. Juni 2009 15:45 + |
| Nummer | 8 + |
| Ort | Im Neuenheimer Feld 328, SR 25 + |
| Serie | IntroAI SS09 + |
| Startzeit | 8. Juni 2009 14:15 + |
| Titel | Resolution und Prädikatenlogik erster Stufe + |
| Unterlagen | IntroAI-09-V08.pdf + |
