一階述語論理のついた記事
hiroyuking
@hiroyuking
134 0 6ヶ月前
CADによる量化記号消去法(QE)の紹介(1)
hiroyuking
@hiroyuking
103 0 4年弱前
QECADで限量記号消去法を試す
hiroyuking
@hiroyuking
264 0 4年弱前
英語を一階述語論理に変換する