Algebra of Logic Programming

Библиографические подробности
Главные авторы: Seres, S, Spivey, J, Hoare, C
Формат: Conference item
Опубликовано: MIT Press 1999