Clausal form logic an introduction to the logic of computer reasoning

Clausal form logic an introduction to the logic of computer reasoning

सभी संस्करण दिखाएं (2)
ग्रंथसूची विवरण
मुख्य लेखक: 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.