Центр исследований в области искусств, социальных и гуманитарных наук
Центр исследований в области искусства, социальных и гуманитарных наук Обзор Кембриджского исследовательского центра искусств и гуманитарных наук (КРАСШ) КРАСШ – […]
Вики
Образовательные проекты
Вики
Манифест QED
Манифест КЭД Манифест QED предлагал создать компьютерную базу данных математических знаний с автоматической проверкой доказательств. Идея проекта возникла в 1993