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 Pub. Co. c1989.
Seri Bilgileri:International computer science series
Konular:
Expert systems (Computer science)
Artificial intelligence.
Logic, Symbolic and mathematical.
Reasoning.
Computer systems > Programming > Applications of mathematical logic.