Gesuggereerde onderwerpen binnen jouw zoekopdracht.
Gesuggereerde onderwerpen binnen jouw zoekopdracht.
Alternatieven:
programming recursion » programming decision, programming session, programming decisions
computing programming » computer programming, computers programming
function computing » education computing, generation computing
recursion coverage » erosion coverage, recursion inverse, region coverage
coverage circuits » converter circuits, charge circuits, tolerant circuits
programming recursion » programming decision, programming session, programming decisions
computing programming » computer programming, computers programming
function computing » education computing, generation computing
recursion coverage » erosion coverage, recursion inverse, region coverage
coverage circuits » converter circuits, charge circuits, tolerant circuits
1
Gepubliceerd in 2010
Inhoudsopgave:
“... Predicates, (Co)algebraic Datatypes, and (Co)recursive Functions -- Combining Theorem Proving and Narrowing...”Volledige tekst
Elektronisch
E-boek
