Clausal form logic an introduction to the logic of computer reasoning

Clausal form logic an introduction to the logic of computer reasoning

Show all versions (2)
Xehetasun bibliografikoak
Egile nagusia: Richards, Tom
Formatua: Liburua
Hizkuntza:English
Argitaratua: Sydney Addison-Wesley c1989.
Gaiak:
Expert systems (Computer science).
Artificial intelligence.
Logic, Symbolic and mathematical.
Reasoning.