联系帮助
出版时间:
至
大约有1,000项符合查询结果项。(搜索耗时:0.0162秒)
为您推荐: 并行计算机体系结构第二版 并行计算机 并行计算 计算结构 导弹结构强度计算手册 并行结算
本书包括数理逻辑的递归论和形式语言论两部分内容. 一至八章为递归论部分,详尽地研究了初等函数、原始递归函数、递归函数及给类算子,充分地讨论了Turing机与Turing可计算性概念. 九、十两章为形式语言论部分...
全部
工业技术(6)
1987年(1)
1999年(1)
2002年(1)
2003年(1)
2005年(1)
2009年(1)