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

m
(冒頭の説明文を項目名に合わせて書き直した。)
* {{MathWorld | urlname=Resolution | title=Resolution | author=Alex Sakharov}}
* [http://www.cs.uu.nl/docs/vakken/pv/resources/computational_prop_of_fol.pdf Notes on computability and resolution] (pdf)
* [http://www.score.iscs.tsukuba.ac.jp/~minamide/notes/note.pdf 述語論理とその意味論] (pdf) 筑波大学講義資料
 
 
7,353

回編集