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

ナビゲーションに移動 検索に移動
m
外部リンクの修正 http:// -> https:// (ci.nii.ac.jp) (Botによる編集)
m (Category:自動定理証明を追加 (HotCat使用))
m (外部リンクの修正 http:// -> https:// (ci.nii.ac.jp) (Botによる編集))
| url = http://www.cis.upenn.edu/~jean/gbooks/logic.html
}}
*佐藤 泰介. ''[httphttps://ci.nii.ac.jp/naid/110002761456 導出原理による定理証明]''. 情報処理 22(11), pp.1024-1036, 1981.
 
== 外部リンク ==

案内メニュー