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
function computation » function computing, function decomposition, section computational
programming defining » programming designing, programming learning, programming reasoning
based tools » based tool, basic tools
programming recursion » programming decision, programming session, programming decisions
function computation » function computing, function decomposition, section computational
programming defining » programming designing, programming learning, programming reasoning
based tools » based tool, basic tools
1
Được phát hành 2006
Mục lục:
“... About Recursive Functions: A Practical Tool for the Coq Proof Assistant -- Soutei, a Logic-Based Trust...”lấy văn bản
Điện tử
eBook
2
Được phát hành 2007
Mục lục:
“... -- On Finitely Recursive Programs -- Minimal Logic Programs -- Generic Tableaux for Answer Set Programming...”lấy văn bản
Điện tử
eBook
3
Được phát hành 2006
Mục lục:
“...Types for Hierarchic Shapes -- Linear Regions Are All You Need -- Type-Based Amortised Heap-Space...”lấy văn bản
Điện tử
eBook
4
Đượ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
5
Mục lục:
“...Introduction -- Basics -- Defining functions -- Lists -- Changing heads! -- A bit of logic and set...”
lấy văn bản
lấy văn bản
Điện tử
eBook
6
Mục lục:
“... -- 2. Defining functions -- 2.1 Formulas as functions -- 2.2 Anonymous functions -- 3. Lists -- 3.1...”
lấy văn bản
lấy văn bản
Điện tử
eBook
7
Được phát hành 2007
Mục lục:
“...: An Update -- RZ: A Tool for Bringing Constructive and Computable Mathematics Closer to Programming Practice...”lấy văn bản
Điện tử
eBook