Idioma:

Theorem proving in higher order logics 16th international conference, TPHOLs 2003, Rome, Italy, September 8-12, 2003 : proceedings

TPHOLs 2003 (2003 Rome, Italy) David Basin; Burkhart Wolff 1962-

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

Título:
Theorem proving in higher order logics 16th international conference, TPHOLs 2003, Rome, Italy, September 8-12, 2003 : proceedings
Autor: TPHOLs 2003 (2003 Rome, Italy)
David Basin; Burkhart Wolff 1962-
Assuntos: Automatic theorem proving -- Congresses; LÓGICA MATEMÁTICA; INTELIGÊNCIA ARTIFICIAL; ESPECIFICAÇÃO DE SISTEMAS E PROGRAMAS; VERIFICAÇÃO E VALIDAÇÃO DE SOFTWARE
Títulos relacionados: Série:Lecture notes in computer science 2758
Editor: New York Springer
Data de criação/publicação: 2003
Formato: x, 366 p. ill. 24 cm.
Idioma: Inglês

Links

Voltar para lista de resultados

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