Page 157 - 4495

ленко, Е. Г. Шульгейфер. - М.: Высш.шк., 1974. – 235 с.
11. Голдбрайт Р. Топосы. Категорийный анализ логики [Текст] /
Р. Голдбрайт. - М.: Мир, 1990. – 448 с.
12. Довідник з нафтогазової справи [Текст] ; за заг. ред. Бойка В.

С., Кондрата Р. М., Яремійчука Р. С. - К.: Львів, 1996. – 620 с.
13. Солдатов В. Н. Банки данных в нефтяной промышленности
[Текст] / В. Н. Солдатов, И. Л. Чудинов, В. З. Ямпольский. - Ново-

сибирск: Наука, 1988. – 124 с.
14. Глушков В.М. Основы безбумажной інформатики [Текст] /
В. М. Глушков. - М.: Наука, 1982. – 552 с.
15. С. Маклейн. Категории для работающего математика [Текст]

/ С. Маклейн. - М.: ФИЗМАТЛИТ, 2004. - 352 с.
16. Ugo Monatanari. Networks of constraints: Fundamental proper-
ties and application to picture processing. Information Science, 7(2):95–

132, 1974. Also Tech.Rep., Carnegie Mellon University, 1970.
17. Alan K. Mackworth. Consistency in networks of relations. Arti-
ficial Intelligense, 8(1):99–118, 1977.

18. Eugene C. Freuder. Synthesizing constraint expressions. Com-
munications of the ACM, 21(11):958–966, 1978.
19. Richard A. O’Keefe. The Craft of Prolog. MIT Press, 1990.

20. David Maier and David S. Warren. Computing with Logic,
Logic Programming with Prolog. The Benjamin/Cummings Publishing
Company, Inc., 1988.
21. Dov M. Gabbay, C.J. Hogger, and J.A. Robinson, editors. Hand-

book of Logic in Artificial Intelligence and Logic Programming, volume 1
Logical Foundations. Clarendon Press, Oxford, 1993.
22. Helmut Simonis. Building industrial applications. In Interna-

tional Summer School on Constraints in Computational Logics. Esprit
Working Group CCL, 1999.
23. Roman Barták. Constraint programming: a survey of solving
technology. AIROnews, IV(4):7–11, 1999.

24. Slim Abdennadher and Hans Schlenker. Nurse scheduling using
constraint logic programming. In Proceedings of the 6th National Confer-
ence on Artificial Intelligence (AAAI-99); Proceedings of the 11th Con-

ference on Innovative Applica- tions of Artificial Intelligence, pages 838–
843, Menlo Park, Cal., 1999. AAAI/MIT Press.
25. Mark Wallace. Applying constraints for scheduling. In Brian

Mayoh, Enn Tyugu, and Jaan Penjam, editors, Constraint Programming,
volume F: Computer and Systems Sciences 131 of NATO Advanced Sci-

157