Idioma:

Theorem proving in higher order logics 15th International Conference, TPHOLs 2002, Hampton, VA, USA, August 20-23, 2002 : proceedings

TPHOLs 2002 (15th 2002 Hampton, Va.) Victor A Carreño 1956-; César Muñoz 1968-; Sofiène Tahar 1966-

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

Título:
Theorem proving in higher order logics 15th International Conference, TPHOLs 2002, Hampton, VA, USA, August 20-23, 2002 : proceedings
Autor: TPHOLs 2002 (15th 2002 Hampton, Va.)
Victor A Carreño 1956-; César Muñoz 1968-; Sofiène Tahar 1966-
Assuntos: Automatic theorem proving -- Congresses; INTELIGÊNCIA ARTIFICIAL (CONGRESSOS); PROVA AUTOMÁTICA DE TEOREMAS (CONGRESSOS)
Notas: Includes bibliographical references and index
Títulos relacionados: Série:Lecture notes in computer science Lecture notes in artifical intelligence; Lecture notes in computer science 2410
Editor: Berlin Springer New York
Data de criação/publicação: c2002
Formato: x, 347 p. ill. 24 cm.
Idioma: Inglês

Links

Voltar para lista de resultados

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