Clausal form logic an introduction to the logic of computer reasoning

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας:	Richards, Tom
Μορφή:	Βιβλίο
Γλώσσα:	English
Έκδοση:	Sydney Addison-Wesley Pub. Co. c1989.
Σειρά:	International computer science series
Θέματα:	Expert systems (Computer science) Artificial intelligence. Logic, Symbolic and mathematical. Reasoning. Computer systems > Programming > Applications of mathematical logic.