Computability Theory - An Introduction to Recursion

文件大小:23MB 分类:文档书籍 创建时间:2018-02-25 热度:368

Boolos - Computability and Logic -

文件大小:2MB 分类:文档书籍 创建时间:2018-03-06 热度:149

Elaine Rich - Automata, Computability and

文件大小:110MB 分类:文档书籍 创建时间:2018-03-13 热度:101

Computability and Incompleteness Lecture

文件大小:543KB 分类:文档书籍 创建时间:2018-05-01 热度:45

Turing Computability - Theory and Applications [PDF] - [Sherlockism]

文件大小:2MB 分类:压缩文件 创建时间:2018-05-30 热度:64

[ ] Provability, Computability and Reflection, Volume

文件大小:6MB 分类:压缩文件 创建时间:2019-12-31 热度:16

[ ] Computing with Foresight and Industry- 15th Conference on Computability in Europe, CiE 2019, Durham

文件大小:22MB 分类:压缩文件 创建时间:2020-02-18 热度:20

[ ] Automata, Computability and Complexity- Theory and Applications [With minor revisions].zip

文件大小:7MB 分类:压缩文件 创建时间:2020-06-17 热度:13

The Foundations of Computability Theory 2015

文件大小:5MB 分类:文档书籍 创建时间:2020-08-03 热度:12

Discrete Structures, Logic, and Computability 4ed 2017

文件大小:14MB 分类:文档书籍 创建时间:2020-09-18 热度:3