Soggetti all'interno della tua ricerca.
Soggetti all'interno della tua ricerca.
Cerca anche:
enumerating constraint » enumerating constrained, integrating constraint, integrating constraints
programming recursion » programming decision, programming session, programming decisions
recursion versus » deduction versus, inclusion versus, recursion arrays
versus third » versus bird, versus theory, hortus third
enumerating constraint » enumerating constrained, integrating constraint, integrating constraints
programming recursion » programming decision, programming session, programming decisions
recursion versus » deduction versus, inclusion versus, recursion arrays
versus third » versus bird, versus theory, hortus third
1
Pubblicazione 2007
Sommario:
“...: An Update -- RZ: A Tool for Bringing Constructive and Computable Mathematics Closer to Programming Practice...”Testo
Elettronico
eBook
