Clausal form logic an introduction to the logic of computer reasoning

Clausal form logic an introduction to the logic of computer reasoning

Show all versions (2)
Manylion Llyfryddiaeth
Prif Awdur: Richards, Tom
Fformat: Llyfr
Iaith:English
Cyhoeddwyd: Sydney Addison-Wesley Pub. Co. c1989.
Cyfres:International computer science series
Pynciau:
Expert systems (Computer science)
Artificial intelligence.
Logic, Symbolic and mathematical.
Reasoning.
Computer systems > Programming > Applications of mathematical logic.