Clausal form logic an introduction to the logic of computer reasoning

Clausal form logic an introduction to the logic of computer reasoning

Mostrar todas as versões (2)
Detalhes bibliográficos
Autor principal: Richards, Tom
Formato: Livro
Idioma:English
Publicado em: Sydney Addison-Wesley Pub. Co. c1989.
coleção:International computer science series
Assuntos:
Expert systems (Computer science)
Artificial intelligence.
Logic, Symbolic and mathematical.
Reasoning.
Computer systems > Programming > Applications of mathematical logic.