Главная
Упрощенный режим
Описание
Шлюз Z39.50
Отделение ГПНТБ СО РАН
Базы данных
Всего записей: 50699
Каталог книг и сборников Отделения ГПНТБ (1991- ) - результаты поиска
Вид поиска
Область поиска
Ключевые слова
Автор
Заглавие
Год издания
Персоналия
Характер документа
Коллектив/Мероприятие
Предметные рубрики
Персоналия
Сигла библиотек
Тип/вид документа
в найденном
Формат представления найденных документов:
полный
информационный
краткий
Отсортировать найденные документы по:
автору
заглавию
году издания
типу документа
Поисковый запрос:
(<.>S=Логическое программирование<.>)
Общее количество найденных документов
:
14
Показаны документы
с 1 по 10
1-10
11-14
1.
Pr869
Pr869/343
Pr869/343 / Pr869/343-02
Algebraic and logic
programming [Text] : intern. workshop, Gaussig, GDR, Nov. 14-18, 1988. Proc. / Ed. by J. Grabowski et al. - Berlin [et al.] : Springer, 1988. - 278 p. : Ill. - (Lecture notes in computer science ; 343). - Bibliogr. at the end of the art
Перевод заглавия:
Алгебраическое и
логическое программирование
50.05.09
50.07.03
ББК
З 973.205-018.12я431
Рубрики:
Логическое программирование
Кл.слова (ненормированные):
логика программ
--
алгебраические спецификации
Дескрипторы:
сб пр -- конф
Экземпляры всего:
1
02 (1)
Свободны:
02 (1)
Инвентарный номер:
141-12-92+02
Найти похожие
2.
Pr869
Pr869/632
Pr869/632 / Pr869/632-02
Algebraic and logic
programming [Text] : third Intern. conf., Volterra, Italy, Sept. 2-4, 1992. Proc / Ed. by H. Kirchner, G. Levi. - Berlin [et al.] : Springer, 1992. - IX, 457 p. : Ill. - (Lecture notes in computer science ; 632)
Bibliogr. at the end the of art
Перевод заглавия:
Алгебраическое и
логическое программирование
50.05.03
ББК
З 973.205-018.12Я431
Рубрики:
Логическое программирование
Кл.слова (ненормированные):
функциональное и
логическое программирование
Дескрипторы:
сб пр -- конф
Экземпляры всего:
1
02 (1)
Свободны:
02 (1)
Инвентарный номер:
199-13-93+02
Найти похожие
3.
Pr869
Pr869/425
Pr869/425 / Pr869/425-02
Algebraic logic and
universal algebra in computer science [Text] : conf., Ames, Lowa, USA, Jun. 1-4, 1988., Proc / Ed. by C. H. Bergman et al. - Berlin [et al.] : Springer, 1990. - XI,292 p. : Ill. - (Lecture notes in computer science ; 425). - Bibliogr. at the end of the art
Перевод заглавия:
Алгебраическая логика и универсальная алгебра в вычислительной технике
50.07.03
50.05.09
ББК
З 973.205-018.12я431
Рубрики:
Логическое программирование
Кл.слова (ненормированные):
логика программ
--
логическое программирование
--
семантика
Дескрипторы:
сб пр -- конф
Экземпляры всего:
1
02 (1)
Свободны:
02 (1)
Инвентарный номер:
141-16-92+02
Найти похожие
4.
Pr869
Pr869/417
Pr869/417 / Pr869/417-02
COLOG-88
: intern. conf. on computer logic, Tallinn, USSR, Dec. 12-16, 1988. Proc. / Ed. by P. Martin-Lof, G. Mints. - Berlin [et al.] : Springer, 1990. - VI,338 p. - (Lecture notes in computer science ; 417). - Bibliogr. at the end of the art
Перевод заглавия:
Труды международной конференции по компьютерной логике
50.05.09
ББК
З 973.205-018.12Я431
Рубрики:
Логическое программирование
Кл.слова (ненормированные):
логика программ
Дескрипторы:
сб пр -- конф
Экземпляры всего:
1
02 (1)
Свободны:
02 (1)
Инвентарный номер:
201-32-91+02
Найти похожие
5.
Pr869
Pr869/626
Pr869/626 / Pr869/626-02
Computer science logic
: 5th workshop, CSL'91 Berne, Switzerland, Oct. 7-11, 1991. Proceedings / Ed. by E. Borger et al. - Berlin [et al.] : Springer, 1992. - VII, 428 p. : Ill. - (Lecture notes in computer science ; 626). - Bibliogr. at the end of the art
Перевод заглавия:
Логика вычислительных машин и систем
50.05.09
28.25
ББК
З 973.205-018.12я431 + З 815я431
Рубрики:
Логическое программирование
Теория автоматов
Кл.слова (ненормированные):
семантика
--
автоматы
--
сети Петри
Дескрипторы:
сб пр -- конф
Экземпляры всего:
1
02 (1)
Свободны:
02 (1)
Инвентарный номер:
68-15-94+02
Найти похожие
6.
Pr1019
Pr1019/596
Pr1019/596 / Pr1019/596-02
Extensions logic programming
: Second intern. workshop, ELP'91, Stockholm, Sweden, Jan. 27-29, 1991. Proc / Ed.: L.-H. Eriksson et al. - Berlin [et al.] : Springer, 1992. - 369 p. - (Lecture notes in artificial intelligence ; 596). - Bibliogr. at the end of the art
Перевод заглавия:
Экстенсия логического программирования
50.05.09
ББК
З 973.205-018.12я431
Рубрики:
Логическое программирование
Кл.слова (ненормированные):
языки программирования
--
функциональное программирование
Дескрипторы:
сб пр -- конф
Экземпляры всего:
1
02 (1)
Свободны:
02 (1)
Инвентарный номер:
69-1-94+02
Найти похожие
7.
Pr1019
Pr1019/383
Pr1019/383 / Pr1019/383-02
Logic programming '88
: proc. of the 7th conf. Tokyo, Japan, Apr. 11-14, 1988 / Ed. by K. Furukawa a. o. - Berlin [et al.] : Springer, 1989. - 6,251 p. : Ill. - (Lecture notes in artificial intelligence ; 383). - Bibliogr. at the end of the art
Перевод заглавия:
Логическое программирование
50.05.09
ББК
З 973.205-018.12я431
Рубрики:
Логическое программирование
Кл.слова (ненормированные):
логическое программирование
--
языки программирования
Дескрипторы:
сб пр
Экземпляры всего:
1
02 (1)
Свободны:
02 (1)
Инвентарный номер:
202-28-91+02
Найти похожие
8.
Pr1019
Pr1019/592
Pr1019/592 / Pr1019/592-02
Logic programming
[Text] : 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. / Ed. by A. Voronkov. - Berlin [et al.] : Springer, 1992. - IX,514 p. : Ill. - (Lecture notes in artificial intelligence ; 592). - Bibliogr. at the end of the art
Перевод заглавия:
Логическое программирование
50.05.09
ББК
З 973.205-018.12я431
Рубрики:
Логическое программирование
Кл.слова (ненормированные):
базы знаний
--
семантика
--
Пролог
--
временная логика
Дескрипторы:
сб пр -- конф
Экземпляры всего:
1
02 (1)
Свободны:
02 (1)
Инвентарный номер:
199-21-93+02
Найти похожие
9.
Pr1019
Pr1019/619
Pr1019/619 / Pr1019/619-02
Nonclassical logics and
information processing : Intern. workshop, Berlin, Germany, Nov. 9-10, 1990. proceedings / ed.: David Pearce, Heinrich Wansing. - Berlin [et al.] : Springer, 1992. - 171 p. - (Lecture notes in artificial intelligence ; 619). - Bibliogr. at the end of the art
Перевод заглавия:
Неклассическая логика и обработка информации
50.05.09
ББК
З 973.205-018.12я431
Рубрики:
Логическое программирование
Кл.слова (ненормированные):
модальные системы
--
немонотонная логика
--
теория проверок
Дескрипторы:
сб пр -- конф
Доп.точки доступа:
Pearce, David \ed.\; All-Berlin workshop on nonclassical logics and information processing (1 ; 1990)
Экземпляры всего:
1
02 (1)
Свободны:
02 (1)
Инвентарный номер:
69-2-94+02
Найти похожие
10.
Pr869
Pr869/714
Pr869/714 / Pr869/714-02
Programming language implementation
and logic programming [Text] : 5th intern. symp., PLILP'93 Tallinn, Estonia, Aug. 25-27, 1993. Proceedings / M. Bruynooghe, J. Penjam (Eds.). - Berlin [et al.] : Springer, 1993. - XI, 421 p. : Ill. - (Lecture notes in computer science ; 714). - Bibliogr. at the end of the art
Перевод заглавия:
Реализация языка программирования и
логическое программирование
50.05.09
ББК
З 973.205-018.12Я431
Рубрики:
Логическое программирование
Кл.слова (ненормированные):
объектно-ориентированное программирование
--
языки
Дескрипторы:
сб пр -- конф
Экземпляры всего:
1
02 (1)
Свободны:
02 (1)
Инвентарный номер:
233-16-94+02
Найти похожие
полный формат
краткий формат
все найденные
отмеченные
кроме отмеченных
1-10
11-14
Стандартный
Расширенный
Профессиональный
По словарю
ГРНТИ-навигатор
© 1997-2017 Отделение ГПНТБ СО РАН