Clausal form logic an introduction to the logic of computer reasoning

Библиографические подробности
Главный автор:	Richards, Tom
Формат:	‌
Язык:	English
Опубликовано:	Sydney Addison-Wesley c1989.
Предметы:	Expert systems (Computer science). Artificial intelligence. Logic, Symbolic and mathematical. Reasoning.