Aqui você pode realizar buscas no catálogo on-line, bem como fazer download de parte do nosso acervo. Além disso, disponibilizamos informações sobre a biblioteca, tais como histórico, serviços oferecidos, links relacionados, etc.
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