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