RUSIST
Единый реестр книг

Программирование логическое

Показать все ссылки каталога
Directional types in logic programming : Akad. avh = Директивные типы в логическом программировании. Дис..
1996
Boye Johan
2947
0
Logic programming and automated reasoning : 5th Intern. conf., LPAR '94, Kiev, Ukraine, July 16-22, 1994 : Proceedings = Логическое программирование и автоматическое размышление. Труды Пятой Международной конференции LPAR'94, Киев, Украина, 16-22 июля 1994г..
1994
1267
0
Logic programming and nonmonotonic reasoning : Third Intern. conf., LPNMR '95, Lexington, KY, USA, June 26-28, 1995 : Proceedings = Логическое программирование и немонотонное рассуждение. Труды Третьей Международной конференции LPNMR'95, Лексингтон, США, 26-28 июня 1995г..
1995
1614
0
Разработка интеллектуальной среды обучения логическому программированию : Автореф. дис. на соиск. учен. степ. к.т.н. : Спец. 05.13.11
1995
Боголюбов Дмитрий Петрович
2031
0
Programming languages implementation and logic programming : Intern. workshop PLILP'88, Orléans, France, May 16-18, 1988 : Proceedings
1989
1146
0
Реализация системы логического программирования для персональных компьютеров с ограниченными ресурсами и ее применения : Автореф. дис. на соиск. учен. степ. д.т.н
1993
Григорьев Сергей Георгиевич
1421
0
Explanation-based transformation of logic programs : Diss.
1993
Boström Henrik
1461
0
Tabulation-based logic programming : A multi-level view of query answering : Akad. avh. = Логическое программирование основанное на табуляции. Многоуровневый взгляд в ответах на вопросы. Дис..
1996
Degerstedt Lars
1859
0
Logic programming : Proc. of the Fifth Intern. conf. a. symp
1988
655
0
Efficient graph rewriting and its implementation = Эффективное перевычерчивание графов и инструментарий.
1995
Dörr Heiko
2433
0
Logic and algebra of specification
1993
1374
0
Constraint processing : Sel. papers from the St. Petersburg intern. workshop in July 1993 a. an Intern. workshop held in Amsterdam in 1994 = Ограниченная обработка. Избранные доклады, представленные на Международном семинаре в Санкт-Петербурге в июле 1993 г. и на Международном семинаре в Амстердаме в 1994 г..
1995
1241
0
Логическое программирование в ограничениях: семантический подход : Автореф. дис. на соиск. учен. степ. д.ф.-м.н. : Спец. 05.13.11
1995
Манцивода Андрей Валерьевич
2959
0
Constraint programming: basics and trends : 1994 Châtillon spring school, Châtillon-sur- Seine, France, May 16-20, 1994 : Sel. papers = Ограниченное программирование. Основы и направления. Весенняя Школа 1994г. в Шатильоне, Шатильон-на-Сейне, Франция, 16-20 мая 1994г. . Избранные труды .
1995
1412
0
A methodology for executable specifications : Combining logic programming, object orientation a. visualization : Inaug.-Diss
1993
Fromherz Markus P J (1962)
547
0
Non-monotonic extensions of logic programming : ICLP'94 Workshop, Santa Margherita Ligure, Italy, June 17, 1994 : Sel. papers = Немонотонное расширение логического программирования. Избранные труды семинара ICLP'94, Санта-Маргерита Лигуре, Италия, 17 июня 1994г..
1995
1287
0
Оптимизация логических алгоритмов
1991
Прихожий Анатолий Алексеевич
1307
0
Анализ логических программ и компиляция языка Флэнг : Автореф. дис. на соиск. учен. степ. к.ф.-м.н
1993
Петухин Вячеслав Алексеевич
999
0
Connectionist symbol processing
1991
2718
0
Logic programming '86 : Proc. of the 5th Conf., Tokyo, Japan, June 23-26, 1986
1987
2091
0
Logic programming '87 : Proc. of the 6th conf., Tokyo, Japan, June 22-24, 1987
1988
2481
0
Higher-order algebra, logic, and term rewriting : First Intern. workshop, HOA'93, Amsterdam, The Netherlands, Sept. 23-24, 1993 : Sel. papers = Высшего порядка алгебра,логика и перезапись терма. Первое Международное совещание, HOA'93, Амстердам ,Нидерланды, сентябрь 23-24,1993г.. Избранные доклады.
1994
2759
0
From standard logic to logic programming : Introducing a logic based approach to artificial intelligence
1989
Gochet Paul
1138
0
Selected papers of the 6th International conference on logic programming (ICLP 89) Lisboa Portugal, June 1989
1991
International conference on logic programming (6 1989 Lisbon)
2053
0
Computer science logic : 6th Workshop, CSL'92, San Miniato, Italy, Sept. 28- Oct. 2,1992 : Sel. papers = Логика компьютерной науки. Избранные труды Шестого семинара, CSL92, Сан Миниато, Италия, 28 сентября-2 октября 1992г..
1993
988
0
Extensions of logic programming : 4th Intern. workshop, ELP '93, St Andrews, U.K., Mar.29 - Apr.1, 1993 : Proceedings = Расширение логического программирования. Труды Четвертой Международной рабочей группы ELP'93. Сант Андрюс, Великобритания, 29 марта-1 апреля 1993г..
1994
1470
0
Logic programming : Proc. of the Sixth Intern. conf., held in Lisbon, June 19-23, 1989
1989
834
0
Logic programming : Proc. of the 1991 Intern. symp. held in San Diego, USA, from Oct. 28 to Nov. 1, 1991
1991
1168
0
The logic programming tutor = Учебник по логическому программированию.
1992
Paine Jocelyn
2050
0
Logic programming and automated reasoning : 4th Intern. conf., LPAR '93, St.Petersburg, Russia, July 13-20, 1993 : Proceedings = Логическое программирование и автоматическое рассуждение. Четвертая Международная конференция, Санкт-Петербург, Россия, 13-20 июня 1993г.. Труды .
1993
2069
0
High-level specification and efficient solving of constraint satisfaction problems : Diss.
1995
Hjerpe Torkel
2931
0
Third International conference on logic programming, Imperial college of science and technology, London, United Kingdom, July 14-18, 1986 : Proceedings
1986
International conference on logic programming (3 1986 London)
2631
0
Programmation en logique
1987
Hogger C. J.
1407
0
Symbolic and quantitative approaches to reasoning and uncertainty : Europ. conf., ECSQARU'95, Fribourg, Switzerland, July 3-5, 1995 : Proceedings = Символический и квантитативный подход к размышлению и неопределенности. Труды европейской конференции, ECSQARU'95, Фрибург, Швейцария, 3-5 июля 1995г..
1995
1659
0
Логическое программирование в ограничениях: семантический подход : Автореф. дис. на соиск. учен. степ. д.ф.-м.н. : Спец. 05.13.11
1995
Манцивода Андрей Валерьевич
1987
0
Logic programming '85 : Proc. of the 4th Conf., Tokyo, Japan, July 1-3, 1985
1986
2502
0
Exploiting groundness in logic programs : Akad. avh = Разработка структур в логическом программировании . Дис..
1995
Kågedal Andreas
2394
0
Logics of programs : Proceedings of a Conf., Brooklyn, June 17-19, 1985
1985
1721
0
Programming language implementation and logic programming : 6th Intern. symp., PLILP '94, Madrid, Spain, Sept. 14-16, 1994 : Proceedings = Осуществление языков программирования и логическое программирование. Шестой Международный симпозиум, Мадрид, Испания, 14-16 сентября 1994. Труды.
1994
1797
0