Resolution und Prädikatenlogik erster Stufe (8. Vorlesung IntroAI SS08)
Aus Semantic-Web-Grundlagen
| 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 + |
