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)
書目詳細資料
主要作者: Richards, Tom
格式: 圖書
語言:English
出版: Sydney Addison-Wesley c1989.
主題:
Expert systems (Computer science).
Artificial intelligence.
Logic, Symbolic and mathematical.
Reasoning.