Chủ đề được đề xuất trong tìm kiếm của bạn.
Chủ đề được đề xuất trong tìm kiếm của bạn.
Tìm kiếm thay thế:
programming recursion » programming decision, programming session, programming decisions
programming reasoning » programming learning, programming designing, programming evolving
function computation » function computing, function decomposition, section computational
basics tools » basic tools, tactics tools, based tools
programming recursion » programming decision, programming session, programming decisions
programming reasoning » programming learning, programming designing, programming evolving
function computation » function computing, function decomposition, section computational
basics tools » basic tools, tactics tools, based tools
1
Được phát hành 2005
Mục lục:
“... Programs -- Strong Normalization of the Dual Classical Sequent Calculus -- Termination of Fair Computations...”lấy văn bản
Điện tử
eBook
2
Được phát hành 2010
Mục lục:
“... and Affine Lambda Calculus -- Beluga: A Framework for Programming and Reasoning with Deductive Systems...”lấy văn bản
Điện tử
eBook
3
Được phát hành 2006
Mục lục:
“... for Automated Reasoning About Pointer Programs -- Bisimulations for Untyped Imperative Objects -- A Typed...”lấy văn bản
Điện tử
eBook
4
Được phát hành 2005
Mục lục:
“... with Different Subspace Classification -- Clustering: Basics -- Using Clustering to Learn Distance Functions...”lấy văn bản
Điện tử
eBook