Soggetti all'interno della tua ricerca.
Soggetti all'interno della tua ricerca.
Cerca anche:
programming recursion » programming decision, programming session, programming decisions
functions functional » equations functional
programming defining » programming designing, programming learning, programming reasoning
programming recursion » programming decision, programming session, programming decisions
functions functional » equations functional
programming defining » programming designing, programming learning, programming reasoning
1
Pubblicazione 2006
Sommario:
“... Logical Relations for Recursive and Quantified Types -- Approaches to Polymorphism in Classical Sequent...”Testo
Elettronico
eBook
2
Pubblicazione 2005
Sommario:
“... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”Testo
Elettronico
eBook