Logic for computer science foundations of automatic theorem proving

Logic for computer science foundations of automatic theorem proving

Detalhes bibliográficos
Autor principal: Gallier, Jean H.
Formato: Livro
Idioma:English
Publicado em: New York Harper & Row c1986.
Assuntos:
Automatic theorem proving.
Logic, Symbolic and mathematical.