المؤلفون: Xiaojuan Cai, Joint Work Yuxi Fu, D(x̃ P

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://basics.sjtu.edu.cn/summer_school/basics09/slides/cai.pdf.

مصطلحات موضوعية: ϕ, ⊥ | x = y | x 6 = y | ϕ ∧ ϕ

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.575.1092; http://basics.sjtu.edu.cn/summer_school/basics09/slides/cai.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.575.1092
http://basics.sjtu.edu.cn/summer_school/basics09/slides/cai.pdf