Deduction, Computation, Experiment Exploring the Effectiveness of Proof /

Na minha lista:
Detalhes bibliográficos
Autor principal: Lupacchini, Rossella
Autor Corporativo: SpringerLink (Online service)
Outros Autores: Corsi, Giovanna
Formato: Recurso Electrónico livro electrónico
Idioma:inglês
Publicado em: Milano : Springer Milan, 2008.
Assuntos:
Acesso em linha:http://dx.doi.org/10.1007/978-88-470-0784-0
Tags: Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!