Idioma:

Types for proofs and programs international workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004 : revised selected papers

TYPES 2004 (2004 Jouy-en-Josas, France) Jean-Christophe Filli atre; Christine Paulin-Mohring 1962; Benjamin Werner

Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.3839 ) e outros locais(Acessar)

Título:
Types for proofs and programs international workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004 : revised selected papers
Autor: TYPES 2004 (2004 Jouy-en-Josas, France)
Jean-Christophe Filli atre; Christine Paulin-Mohring 1962; Benjamin Werner
Assuntos: Automatic theorem proving -- Congresses; Computer programming -- Congresses; Programmation (Informatique) -- Congr es; Th eor emes -- D emonstration automatique -- Congr es; TEORIA DA COMPUTAÇÃO (CONGRESSOS)
Notas: Includes bibliographical references and index
Títulos relacionados: Série:Lecture notes in computer science 3839
Editor: Berlin Springer New York
Data de criação/publicação: 2006
Formato: viii, 273 p ill 24 cm.
Idioma: Inglês

Links

Voltar para lista de resultados