Рефал

Рефал — один из старейших функциональных языков программирования, ориентированный на символьные вычисления: обработку символьных строк ; перевод с одного языка на другой; решение проблем, связанных с искусственным интеллектом. Соединяет в себе математическую простоту с практической направленностью на написание больших и сложных программ.
Принцип Маркова
Принцип Маркова — один из основных принципов логики конструктивной математики, сформулированный в начале 1950-х годов Андреем Андреевичем
Мультипарадигменное программирование
Мультипарадигменное программирование — программирование с одновременным использованием множества парадигм
Шеймин, Пётр Николаевич
Пётр Николаевич Шеймин (1860-?) — российский правовед, приват-доцент, специалист в области полицейского права
Волженкин, Борис Владимирович
Борис Владимирович Волженкин — российский учёный-юрист, криминолог, доктор юридических наук, профессор
MPEG LA
MPEG LA, LLC — фирма, осуществляющая лицензирование использования стандартов на основе патентного пула, охватывающего патенты на стандарты MPEG
InteLib
InteLib — это библиотека классов C++, моделирующая вычислительную модель языка Лисп и предоставляющая набор операций, позволяющих описывать S
BIEM
BIEM — международное бюро обществ, управляющих правами механической записи и воспроизведения
Лейст, Олег Эрнестович
Олег Эрнестович Лейст — советский и российский учёный-правовед, специалист по теории права и государства и истории политических и
Поток (интуиционизм)
Пото́к — одно из основных понятий интуиционистской математики
Большой триамбикикосаэдр
В геометрии большой триамбикикосаэдр и средний триамбикикосаэдр являются визуально идентичными двойственными однородными