ID: 27684
Nº de chamada: 510.6-C456s
Tipo de material: livro
Autor: Chang, Chin-Liang
Título: Symbolic logic and mechanical theorem proving / Chin-Liang Chang, Richard Char-Tung Lee. -
Local: New York
Editor: Academic Press
Ano: 1973.
Descrição física: xiii, 331p.
Notas: UC00018404-3
Bibliografia: p. 309-324.
Inclui índice.


Assuntos: Demonstração automática de teoremas; Lógica simbólica e matemática
Autor Secundária: Lee, Richard Char-Tung