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 Pub. Co. c1989.
Col·lecció:International computer science series
Matèries:
Expert systems (Computer science)
Artificial intelligence.
Logic, Symbolic and mathematical.
Reasoning.
Computer systems > Programming > Applications of mathematical logic.