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 alten Videoplayer. Möchten Sie auf unseren neuen Videoplayer wechseln?