在您的搜寻 主题建议
搜索替代词:
functions computational » functions computation, function computation, directions computational
programming recursion » programming decision, programming session, programming decisions
arrays a » arrays _
1
封面图片
出版 2005
书本目录: “... -- On the Complexity of Universal Programs -- Finite Sets of Words and Computing -- Universality and Cellular Automata...”
获取全文
电子 电子书
加到收藏夹
Saved in:
2
封面图片
书本目录: “... matching -- Functions with multiple definitions -- Recursive functions -- Linear algebra -- Graphics...”
获取全文
电子 电子书
加到收藏夹
Saved in:
3
封面图片
书本目录: “...1. Introduction -- 1.1 Mathematica as a calculator -- 1.2 Numbers -- 1.3 Algebraic computations...”
获取全文
电子 电子书
加到收藏夹
Saved in:
4
封面图片
出版 2007
书本目录: “...Invited Talks -- Automatically Proving Program Termination -- A Mathematical Approach to RTL...”
获取全文
电子 电子书
加到收藏夹
Saved in:
5
封面图片
出版 2005
书本目录: “... and Corpus Transformation to a Chunking Task -- Extracting Computer Algebra Programs from Statements...”
获取全文
电子 电子书
加到收藏夹
Saved in:
6
封面图片
出版 2015
书本目录: “... Systems -- Verifying Concurrent Programs by Memory Unwinding -- AutoProof: Auto-Active Functional...”
获取全文
电子 电子书
加到收藏夹
Saved in:
检索工具: 得到RSS订阅 — 推荐此搜索 — 保存搜索