Clausal form logic an introduction to the logic of computer reasoning

Clausal form logic an introduction to the logic of computer reasoning

Veure totes les versions (2)
Dades bibliogràfiques
Autor principal: Richards, Tom
Format: Llibre
Idioma:English
Publicat: Sydney Addison-Wesley c1989.
Matèries:
Expert systems (Computer science).
Artificial intelligence.
Logic, Symbolic and mathematical.
Reasoning.