519/К 563     Ковальски , Р.     Логика в решении проблем [Текст] : пер. с англ. / Р. Ковальски . - М. : Наука, 1990. - 277 с. : ил. - (Проблемы искусственного интеллекта ; вып.18). - Библиогр.:с.263-271. - ISBN 5-02-014148-8 : Б. ц. ГРНТИ 27.41 УДК 519.681 510.6 Рубрики: Логическое программирование Экземпляры всего: 2 ХР (2) Свободны: ХР (2)