Главная Упрощенный режим Описание Шлюз 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/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
Найти похожие
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/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
Найти похожие
5.
   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
Найти похожие
6.
   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
Найти похожие
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/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
Найти похожие
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.
   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
Найти похожие
 1-10    11-14 
 
Стандартный
Расширенный
Профессиональный
По словарю
ГРНТИ-навигатор
© 1997-2017 Отделение ГПНТБ СО РАН