Refine your search
Availability
-
Bibliographic level
- Книги (7)
-
Authors
-
Locations
- Книгохранилище (6)
- Читальный зал 4 (1)
- Читальный зал 5 (1)
- Читальный зал. Депозитарий (1)
-
Item types
-
Topics
- логика формальная (6)
- гравитация (2)
- исчисление предикатов (2)
- логический порочный круг (мат.) (2)
- 20 век (1)
- CASNET, проект (1)
- DENDRAL, проект (1)
- INTERNIST, проект (1)
- LISP, язык программирования (1)
- MYCIN, проект (1)
- Prolog, язык логического программирования декларативный (1)
- Гедель, Курт (1)
- Гёделя теорема о неполноте (1)
- Данилова А. И. личная библиотека (1)
- Заде теория нечетких множеств (1)
- Концептуальная физика (1)
- Менделеева таблица химических элементов (1)
- Стандартная модель взаимодействий, модель математическая (1)
- Тынянский, Константин Николаевич (1)
- Тынянского физика концептуальная (1)
- Универсальная физика (1)
- австрийская философия (1)
- английская философия (1)
- базы знаний большие (1)
- бесконечность (мат.) как разновидность парадокса лжеца (1)
- бинарные соединения металлов с неметаллами (1)
- взаимодействие химических элементов, правила общие (1)
- взаимоопределение (мат.) (1)
- время (1)
- галактики эллиптические (1)
- дедукция (1)
- доказательство (1)
- заряд-спин (1)
- импликации для неметаллов, система (1)
- импликации обобщенные, система для химических элементов (1)
- импликации, система для химических элементов (1)
- импликация (мат. логика) (1)
- индукция (1)
- искусственный интеллект (1)
- история искусственного интеллекта (1)
- исчисление высказываний (1)
- квантование (1)
- квантовая механика, логические конструкции (1)
- квантовая нелокальность (1)
- кодирование (1)
- компьютерные интеллектуальные технологии (1)
- концепция знаний (искусственный интеллект) (1)
- концепция обобщенных решений (искусственный интеллект) (1)
- логика неформальная (1)
- логика формальная, правила (1)
- Show more
- Show less