Sugestões de Tópicos dentro de sua busca.
Sugestões de Tópicos dentro de sua busca.
Buscas alternativas:
function programming » action programming, foundations programming, fractional programming
definitions proofs » definitions process, definitions prior, definitions from
proofs cases » proofs based, process cases, proof based
function programming » action programming, foundations programming, fractional programming
definitions proofs » definitions process, definitions prior, definitions from
proofs cases » proofs based, process cases, proof based
1
Publicado em 2008
Sumário:
“... Declarative Theorem Prover for First-Order Classical Logic -- Towards Ludics Programming: Interactive Proof...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
2
Publicado em 2006
Sumário:
“... for Accessibility -- Automatic Annotation of Web Services Based on Workflow Definitions -- A Constraint-Based...”Obter o texto integral
Recurso Eletrônico
livro eletrônico