在您的搜寻 主题建议
在您的搜寻 主题建议
搜索替代词:
functions computational » functions computation, function computation, directions computational
programming recursion » programming decision, programming session, programming decisions
programming reasoning » programming learning, programming designing, programming evolving
basics tools » basic tools, tactics tools, based tools
functions computational » functions computation, function computation, directions computational
programming recursion » programming decision, programming session, programming decisions
programming reasoning » programming learning, programming designing, programming evolving
basics tools » basic tools, tactics tools, based tools
1
出版 2005
书本目录:
“... Programs -- Strong Normalization of the Dual Classical Sequent Calculus -- Termination of Fair Computations...”获取全文
电子
电子书
2
出版 2010
书本目录:
“... and Affine Lambda Calculus -- Beluga: A Framework for Programming and Reasoning with Deductive Systems...”获取全文
电子
电子书
3
出版 2006
书本目录:
“... for Automated Reasoning About Pointer Programs -- Bisimulations for Untyped Imperative Objects -- A Typed...”获取全文
电子
电子书
4
出版 2005
书本目录:
“... with Different Subspace Classification -- Clustering: Basics -- Using Clustering to Learn Distance Functions...”获取全文
电子
电子书