本视频属于openHPI课程Semantic Web Technologies 。你想看更多吗？
上一个
4-5 Foundations of Logic
下一个
4-6 Canonical Form