MathLib LibMeta Graph RAG Лаборатория Блог О проекте Команда

LibMeta / Kreisel G.

Матэнциклопедия Персона

Kreisel G.

http://libmeta.ru/resource/mathenc/author/a3675

Входящие связи

← автор · 1

"J. Symbolic Logic"

Локальный контекст

Клик по узлу — переход к соседнему объекту.

Научная платформа российской исследовательской школы.

Разделы

MathLib Explorer
LibMeta
Graph RAG
Лаборатория
Блог
О проекте
Команда

Аффилиация

Вычислительный центр им. А. А. Дороницына при ФИЦ «Информатика и Управление» РАН frccsc.ru

© 2026 SciLib Lab · ФИЦ ИУ РАН. Все права защищены. Контакты: info@scilibai.ru