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