Dados do Acervo - Livros
Número de Chamada
511.3 G168
Autor Principal
Gallier, Jean H.
Título Principal
Logic for computer science : foundations of automatic theorem proving / Jean H. Gallier. _
Publicação
New York : J. Wiley, c1988.
Descrição Física
511p. _
Notas
Inclui indice e bibliografia
Notas Locais
LC
New York : J. Wiley, c1988.
Assuntos
Demonstracao automatica de teoremas
Lógica simbólica e matemática