Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
логический язык
Связанные издания:
Logical Aspects of Computational Linguistic: Proc./6th International Conference, LACL 2011, Montpellier, France, June/July 2011
Practical Aspects of Declarative Languages: Proc./23rd International Symposium, PADL 2021, Copenhagen, Denmark, January 2021
Programming Goal-Driven Web Sites Using an Agent Logic Language
Логический язык для представления алгоритмов синтеза релейных устройств
Синтез алгоритма по его логической спецификации