Clausal form logic an introduction to the logic of computer reasoning

Podrobná bibliografie
Hlavní autor:	Richards, Tom
Médium:	Kniha
Jazyk:	English
Vydáno:	Sydney Addison-Wesley c1989.
Témata:	Expert systems (Computer science). Artificial intelligence. Logic, Symbolic and mathematical. Reasoning.