Idioma:

Advances in contemporary logic and computer science proceedings of the Eleventh Brazilian Conference on Mathematical Logic, May 6-10, 1996, Salvador da Bahia, Brazil

Brazilian Conference on Mathematical Logic (11th 1996 Salvador, Brazil) Walter A Carnielli (Walter Alexandre); Itala M. L D'Ottaviano 1944-

Localização: ICMC - Inst. Ciên. Mat. Computação (00-02 CM v.235 ) e outros locais(Acessar)

Título:
Advances in contemporary logic and computer science proceedings of the Eleventh Brazilian Conference on Mathematical Logic, May 6-10, 1996, Salvador da Bahia, Brazil
Autor: Brazilian Conference on Mathematical Logic (11th 1996 Salvador, Brazil)
Walter A Carnielli (Walter Alexandre); Itala M. L D'Ottaviano 1944-
Assuntos: Computer logic -- Congresses; Logic, Symbolic and mathematical -- Congresses; COMPUTAÇÃO APLICADA; LÓGICA MATEMÁTICA
Notas: Includes bibliographical references
Títulos relacionados: Série:Contemporary mathematics (American Mathematical Society) v. 235
Editor: Providence, RI American Mathematical Society
Data de criação/publicação: 1999
Formato: xi, 326 p. ill. 26 cm.
Idioma: Inglês

Links

Voltar para lista de resultados

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