Knowledge Engineering with Semantic Web TechnologiesDr. Harald Sack
Dieses Video gehört zum openHPI-Kurs Knowledge Engineering with Semantic Web Technologies. Möchten Sie mehr sehen? Schreiben Sie sich kostenlos ein!

3.6 How to mechanize Reasoning - Tableaux Algorithm

Zeitaufwand: etwa 31 Minuten
Sie verwenden unseren neuen Videoplayer. Sollten Sie Probleme haben, kontaktieren Sie bitte den Helpdesk. Sie können jederzeit zum alten Player wechseln.