Sugestões de Tópicos dentro de sua busca.
Sugestões de Tópicos dentro de sua busca.
Buscas alternativas:
interactions functional » interactions fractional, interactions functions, interations funtional
programming decisions » programming decision, programming design, programming session
programming defining » programming designing, programming learning, programming reasoning
basics tools » basic tools, tactics tools, based tools
interactions functional » interactions fractional, interactions functions, interations funtional
programming decisions » programming decision, programming design, programming session
programming defining » programming designing, programming learning, programming reasoning
basics tools » basic tools, tactics tools, based tools
1
Publicado em 2005
Sumário:
“...Independently Checkable Proofs from Decision Procedures: Issues and Progress -- Zap: Automated...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
