Clausal form logic an introduction to the logic of computer reasoning

Clausal form logic an introduction to the logic of computer reasoning

Visa alla versioner (2)
Bibliografiska uppgifter
Huvudupphovsman: Richards, Tom
Materialtyp: Bok
Språk:English
Publicerad: Sydney Addison-Wesley c1989.
Ämnen:
Expert systems (Computer science).
Artificial intelligence.
Logic, Symbolic and mathematical.
Reasoning.