Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
Logic Programming: Proc. of the Intern. Symp.
Связанные издания:
A Declarative Semantics for Behavioral Inheritance and Conflict Resolution
Goal Solving as Operational Semantics
Implementing the Linear Logic Programming Language Lygon
Monadic Constructs for Logic Programming
Objects in Forum
Surviving the AI Winter
Top-Down beats Bottom-Up for Constraint Extensions of Datalog