Картинки из квадратов
\
Теоретико-множественная математика
\
Theoretical Computer Science
\
Искусственный интеллект
\
Логическое программирование
\
Логическое программирование прошлое, настоящее и будущее (Дж. Робинсон; 1983)
\
9.7.4.4.1.1. Близкое прошлое (1971 1980)
Начало см.
здесь
.
Робинсон Дж.
Логическое программирование прошлое, настоящее и будущее.
В книге:
Логическое программирование: Сборник статей
. Под ред. Агафонова В. Н.
Пер. с англ., М.: Мир, 1988, сс. 11 .
Продолжение см.
здесь
.