Leonid Libkin_Elements of Finite Model Theory, With 24 Figures

【文件属性】：

文件名称：Leonid Libkin_Elements of Finite Model Theory, With 24 Figures

文件大小：2.11MB

文件格式：PDF

更新时间：2021-10-11 00:14:46

计算复杂度 数理逻辑 模型论 数学 计算理论

有限模型论！！有限模型论！！有限模型论！！重要的事情重复三遍。在计算复杂度里面有应用，或者说这应当是理论计算机应学的内容。