|
|
Bergstra, J. A
Algebraic tools for system construction [Text] : prepr / J.A Bergstra, J.W Klop, J.V Tucker. - Amsterdam : [s. n.], 1983. - 11 с. - (Stichting Math. centrum, Afd. Informatica. IW ; 234/83). - Б. ц.
; Библиогр.: с.11
Перевод заглавия: 0 ^aАлгебраический подход к исследованию построения системы
Перевод заглавия: 0 ^aАлгебраический подход к исследованию построения системы
Доп.точки доступа:
Klop, J.W; Tucker, J.V
Свободных экз. нет
|
|