Idioma:

Types for proofs and programs international workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006 : revised selected papers

TYPES 2006 (2006 Nottingham, England) Thorsten Altenkirch 1962-; Conor McBride

Localização: EPELM - Esc. Politécnica-Bib Eng Elet., Mec. e Naval (004 T98 2006 ) e outros locais(Acessar)

Título:
Types for proofs and programs international workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006 : revised selected papers
Autor: TYPES 2006 (2006 Nottingham, England)
Thorsten Altenkirch 1962-; Conor McBride
Assuntos: Automatic theorem proving -- Congresses; Computer programming -- Congresses; TEORIA DA COMPUTAÇÃO
Notas: Includes bibliographical references and index.
Títulos relacionados: Série:LNCS sublibrary. SL 1, Theoretical computer science and general issues; Lecture notes in computer science 4502
Editor: Berlin Springer New York
Data de criação/publicação: c2007
Formato: viii, 268 p. ill. 24 cm..
Idioma: Inglês

Links

Voltar para lista de resultados

Anterior Resultado 3 Avançar Ir para próxima página