t_wの輪郭

mgu

2026/3/5 13:47:00

most general unifier 最汎単一化代入『論理コンピューティング』

mgu 最汎単一化代入

most general unifier

2026/3/5 13:47:00

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

mgu 代入単一化代入

最汎単一化代入

2026/3/5 13:46:00

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

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

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

2026/2/27 10:40:00

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

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