Resolution und Prädikatenlogik erster Stufe (8. Vorlesung IntroAI SS10)

Aus Semantic-Web-Grundlagen

Wechseln zu: Navigation, Suche
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
Bild:Titel08.jpg

Folien:

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  +
Persönliche Werkzeuge