background
Layer 1
MathWills
投稿
ログイン
(current)
一階述語論理
のついた記事
@hiroyuking
134
0
2ヶ月前
CADによる量化記号消去法(QE)の紹介(1)
@hiroyuking
103
0
3年以上前
QECADで限量記号消去法を試す
@hiroyuking
264
0
3年以上前
英語を一階述語論理に変換する