Вид документа : Однотомное издание Шифр издания : Pr1019/Pr1019/592 Заглавие : Logic programming : First Russian conf. on logic programming, Irkutsk, Russia, Sept. 14-18, 1990; Second Russian conf. on logic programming, St. Petersburg, Russia, Sept. 11-16, 1991. Proc. Выходные данные : Berlin: Springer, 1992 Колич.характеристики :IX,514 p.: Ill. Серия: Lecture notes in artificial intelligence; 592 Примечания : Bibliogr. at the end of the art ISBN, Цена 3-540-55460-2: Б.ц. ГРНТИ : 50.05.09 ББК : З 973.205-018.12я431 Предметные рубрики: Логическое программирование Дескрипторы: сб пр--конф Ключевые слова (''Своб.индексиров.''): базы знаний--семантика--пролог--временная логика Экземпляры :02(1) Свободны : 02(1) |