Proposatutako topikoa bilaketarako iradokizunak
Proposatutako topikoa bilaketarako iradokizunak
Iradokizunak:
programming recursion » programming decision, programming session, programming decisions
programming reasoning » programming learning, programming designing, programming evolving
function computing » education computing, generation computing
programming recursion » programming decision, programming session, programming decisions
programming reasoning » programming learning, programming designing, programming evolving
function computing » education computing, generation computing
1
Argitaratua 2005
Aurkibidea:
“... Programs -- Strong Normalization of the Dual Classical Sequent Calculus -- Termination of Fair Computations...”Testu osoa
Baliabide elektronikoa
eBook
2
Argitaratua 2010
Aurkibidea:
“... and Affine Lambda Calculus -- Beluga: A Framework for Programming and Reasoning with Deductive Systems...”Testu osoa
Baliabide elektronikoa
eBook
3
Argitaratua 2006
Aurkibidea:
“... for Automated Reasoning About Pointer Programs -- Bisimulations for Untyped Imperative Objects -- A Typed...”Testu osoa
Baliabide elektronikoa
eBook
4
Argitaratua 2005
Aurkibidea:
“... with Different Subspace Classification -- Clustering: Basics -- Using Clustering to Learn Distance Functions...”Testu osoa
Baliabide elektronikoa
eBook