t_wの輪郭
RSS
CNF
2024/4/2 23:14:00
連言標準形
一階述語論理
CNF
連言標準形
2024/4/2 23:10:00
『知識工学 第8回 二宮 崇』