Картинки из квадратов
\
Теоретико-множественная математика
\
Theoretical Computer Science
\
Искусственный интеллект
\
Математическая логика и автоматическое доказательство теорем (Ч. Чень, Р. Ли; 1983)
\
9.7.4.3.4. Теорема Эрбана
Начало см.
здесь
.
Чень Ч., Ли Р.
Математическая логика и автоматическое доказательство теорем.
Пер. с англ., М.: Наука, 1983, cc. 52 — 76.
9.7.4.3.4.4. Теорема Эрбана и семантические деревья
9.7.4.3.4.4. Теорема Эрбана и семантические деревья
К началу данной страницы
Картинки из квадратов
\
Теоретико-множественная математика
\
Theoretical Computer Science
\
Искусственный интеллект
\
Математическая логика и автоматическое доказательство теорем (Ч. Чень, Р. Ли; 1983)
\
