Clausal form logic an introduction to the logic of computer reasoning

Bibliographische Detailangaben
1. Verfasser:	Richards, Tom
Format:	Buch
Sprache:	Englisch
Veröffentlicht:	Sydney Addison-Wesley c1989.
Schlagworte:	Expert systems (Computer science). Artificial intelligence. Logic, Symbolic and mathematical. Reasoning.