t_wの輪郭

アトム

2026/3/5 13:49:00

『論理コンピューティング』

論文スタック論理最汎単一化代入 mgu 仮説論理プログラミング正リテラル失敗による否定アトムエルブラン解釈

『論理コンピューティング』

2026/2/27 10:40:00

https://www.jstage.jst.go.jp/article/jjsai/23/5/23_677/_pdf/-char/ja

『解集合プログラミング』