Комсомольский-на-Амуре гос.пед.ин-т. Основы программирования на языке Пролог [Text] : пособие для студентов физ.-мат.фак.КГПИ / Сост.Амосов О.С., Амосова Л.Н. - Комсомольск-на-Амуре : [s. n.], 1999. - 108 с. : ил. - ^aБиблиогр.:с.107 (8 назв.). - Б. ц. ; В надзаг.:Комсомол.-на-Амуре гос.пед.ин-т.
Доп.точки доступа: Амосов, О.С. Свободных экз. нет |
Apt, K. R. Centrum voor wiskunde en informatica(Amsterdam). Modular termination proofs for logic and pure Prolog programs [Text] : сборник научных трудов / K. R. Apt, D. Pedreschi ; Centrum voor wiskunde en informatica(Amsterdam). - Amsterdam : [s. n.], 1993. - 35 p. : ill. - (Report:Computer science, ISSN 0169118X;CS-R9316). - Б. ц. ; Библиогр.:с.34-35
<Программирования> <языки> "<Пролог>" Доп.точки доступа: Pedreschi, D. Свободных экз. нет |
Apt, K. R. Centrum voor wiskunde en informatica(Amsterdam). Declarative programming in Prolog [Text] : сборник научных трудов / K. R. Apt ; Centrum voor wiskunde en informatica(Amsterdam). - Amsterdam : [s. n.], 1993. - 21 p. - (Report:Computer science, ISSN 0169118X;CS-R9353). - Б. ц. ; Библиогр.:с.19-21
Свободных экз. нет |
Apt, K. R. The STO-problem is NP-hard [Text] : сборник / K. R. Apt, E.van Baas, A. Welling. - Amsterdam : [s. n.], 1994. - 7 p. : ill. - (Report:Computer science / Centrum voor wiskunde en informatica(Amsterdam), ISSN 0169-118X ; CS-R9464). - ^aБиблиогр.:с.6-7. - Б. ц.
<Программирования> <языки> <Пролог> Доп.точки доступа: Baas, E.van; Welling, A. Свободных экз. нет |
Apt, K. R. Comparing negation in logic programming and in prolog [Text] : сборник / K. R. Apt, F. Teusink. - Amsterdam : [s. n.], 1994. - 18 p. : ill. - (Report:Computer science / Centrum voor wiskunde en informatica(Amsterdam), ISSN 0169-118X ; CS-R9468). - ^aБиблиогр.:с.17-18. - Б. ц.
<Программирования> <языки> <Пролог> Доп.точки доступа: Teusink, F. Свободных экз. нет |