Clausal form logic an introduction to the logic of computer reasoning

Clausal form logic an introduction to the logic of computer reasoning

Tüm sürümleri göster (2)
Detaylı Bibliyografya
Yazar: Richards, Tom
Materyal Türü: Kitap
Dil:English
Baskı/Yayın Bilgisi: Sydney Addison-Wesley c1989.
Konular:
Expert systems (Computer science).
Artificial intelligence.
Logic, Symbolic and mathematical.
Reasoning.