Kurs im Selbststudium

Semantic Web Technologies 2018

Angeboten von Dr. Harald Sack

Dieses Video gehört zum openHPI Staging-Kurs Semantic Web Technologies 2018. Möchten Sie mehr sehen?

3.6 How to mechanize Reasoning - Tableaux Algorithm

Beim Laden des Videoplayers ist ein Fehler aufgetreten, oder es dauert lange, bis er initialisiert wird. Sie können versuchen, Ihren Browser-Cache zu leeren. Bitte versuchen Sie es später noch einmal und wenden Sie sich an den Helpdesk, wenn das Problem weiterhin besteht.