Doporučená témata ve výsledcích tohoto hledání:
Alternativní vyhledávání:
programming recursion » programming decision, programming session, programming decisions
integrity constraint » integrity constraints, integral constraints
recursion versus » deduction versus, inclusion versus, recursion arrays
versus value » versus virtue, versus all
1
Obálka
Vydáno 2007
Obsah: “...: An Update -- RZ: A Tool for Bringing Constructive and Computable Mathematics Closer to Programming Practice...”
Získat plný text
Elektronický zdroj E-kniha
Přidat do oblíbených
Uloženo v:
Vyhledávací nástroje: RSS — Poslat emailem — Uložit hledání