Dahlqvist Fredrik について
University College London, United Kingdom について
Pym David について
University College London, United Kingdom について
Journal of Logical and Algebraic Methods in Programming について
意味論 について
定式化 について
半順序 について
完全性 について
代数学 について
言語 について
構文 について
完全性 について
正準性 について
余代数論理 について
部分構造論理 について
資源モデル化 について
分離論理 について
人工知能 について
論理代数 について
数理言語学 について
自然語処理 について
部分構造論理 について
完全性 について