Clausal form logic an introduction to the logic of computer reasoning

Manylion Llyfryddiaeth
Prif Awdur:	Richards, Tom
Fformat:	Llyfr
Iaith:	English
Cyhoeddwyd:	Sydney Addison-Wesley c1989.
Pynciau:	Expert systems (Computer science). Artificial intelligence. Logic, Symbolic and mathematical. Reasoning.