「導出原理」の版間の差分

m
編集の要約なし
m
m
 
[[プログラミング言語]]の[[Prolog]]の基礎となる理論である。
 
== 関連項目 ==
* [[スコーレム標準形]]
 
[[Category:数学基礎論|とうしゆつ]]
25,487

回編集