Sugestões de Tópicos dentro de sua busca.
Sugestões de Tópicos dentro de sua busca.
Buscas alternativas:
foundations programming » equations programming, foundations program, foundation programme
continuous programming » continuous program, conventions programming, control programming
definition semantics » definitions semantics, recognition semantics, termination semantics
semantics tools » semantic tools, semantics cross, semantics goes
foundations programming » equations programming, foundations program, foundation programme
continuous programming » continuous program, conventions programming, control programming
definition semantics » definitions semantics, recognition semantics, termination semantics
semantics tools » semantic tools, semantics cross, semantics goes
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
