Dieses Video gehört zum openHPI-Kurs Semantic Web Technologies . Möchten Sie mehr sehen?
Zurück
4-5 Foundations of Logic
Weiter
4-9 Tableaux Algorithm