"Моделирование рассуждений. Опыт анализа мыслительных актов" - читать интересную книгу автора (Поспелов Дмитрий Александрович)

Глава пятая. ВЫВОД В БАЗЕ ЗНАНИЙ

Приходится порой простые мыслидоказывать всерьез, как теоремы.

О. Сулейменов. От января до апреля