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.