[Lecture Notes in Computer Science] Programming Languages: Implementations, Logics, and Programs Volume 1292 || Logic implemented functionally
Glaser, Hugh, Hartel, Pieter, Kuchen, HerbertТом:
10.1007/BF
Рік:
1997
Мова:
english
Сторінки:
18
DOI:
10.1007/bfb0033855
Файл:
PDF, 1.05 MB
english, 1997