Главная Упрощенный режим Описание Шлюз Z39.50

Базы данных

Всего записей: 50699

Каталог книг и сборников Отделения ГПНТБ (1991- ) - результаты поиска

Вид поиска
Область поиска
в найденном
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>S=Логическое программирование<.>)
Общее количество найденных документов : 14
Показаны документы с 1 по 10
 1-10    11-14 
1.
   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
Найти похожие
2.
   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
Найти похожие
3.
   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
Найти похожие
4.
   И-З 97
   S98
И-З 97 / S98-02

    Symposium on logic in computer science (6; 1991; Amsterdam).
    Sixth annual IEEE symposium on logic in computer science : Proceedings, July 15-18, 1991, Amsterdam. - Los Alamitos [et al.] : IEEE computer society press, 1991. - XVII, 417 p. : Ill. - Bibliogr. at the end of the art.
- Auth. ind.: p. 417
Перевод заглавия: Труды 6-го ежегодного симпозиума по логике в вычислительной технике
50.41.19
ББК З 973.205-018.12я431
Рубрики: Логическое программирование
Кл.слова (ненормированные):
абстрактные типы данных -- совпадение -- представление знаний
Дескрипторы: конф

Экземпляры всего: 1
02 (1)
Свободны: 02 (1)
Инвентарный номер: 72-9-94+02
Найти похожие
5.
   Пр31
   Пр31/148
Пр31/148 / Пр31/148-02

   
    Логические методы в информатике : сборник / Рос. акад. наук. Сиб. отд-ние. Ин-т математики; Науч. ред.: Ю.Л. Ершов, С.С. Гончаров. - Новосибирск : [б. и.], 1993. - 177 с., включ. обл. : схем. - (Вычислительные системы : сб. науч. тр., ISSN 0568-661X ; 148). - Библиогр. в конце ст. -
50.05.09
ББК З 973.205-018.12я43
Рубрики: Логическое программирование
Дескрипторы: сб пр -- сб


Доп.точки доступа:
Ершов, Ю.Л. \ред.\; Гончаров, С.С. \ред.\
Экземпляры всего: 1
02 (1)
Свободны: 02 (1)
Инвентарный номер: 26-26-94но
Найти похожие
6.
   Пр31
   Пр31/146
Пр31/146 / Пр31/146-02

   
    Логика и семантическое программирование / Рос. акад. наук, Сиб. отд-ние, Ин-т математики ; науч. ред.: Ю.Л. Ершов, С.С. Гончаров. - Новосибирск : [б. и.], 1992. - 205 с., включ. обл. : ил. - (Вычислительные системы : сб. науч. тр., ISSN 0568-661X ; 146). - Библиогр. в конце ст. -
50.05
ББК З 973.205-018.12я43
Рубрики: Логическое программирование
Дескрипторы: сб пр -- сб


Доп.точки доступа:
Ершов, Ю. Л. \ред.\; Гончаров, С.С. \ред.\
Экземпляры всего: 1
02 (1)
Свободны: 02 (1)
Инвентарный номер: 9-126-94но
Найти похожие
7.
   И-З 97
   S98
И-З 97 / S98-02

    Symposium on logic in computer science (7; 1992; Santa Cruz, California.).
    Proceedings of the seventh annual IEEE symposium on logic in computer science, Santa Cruz, California., June 22-25, 1992. - Los Alamitos [et al.] : IEEE Computer society press, 1992. - XIII, 471 p. : Ill. - Bibliogr. at the end of the art.
- Auth. ind.: p. 471
Перевод заглавия: Труды 7-го ежегодного симпозиума ИИЭР по логике в вычислительной технике
50.05.09
ББК З 973.205-018.12я431
Рубрики: Логическое программирование
Кл.слова (ненормированные):
процесс алгебры -- структуры данных -- верификация
Дескрипторы: конф

Экземпляры всего: 1
02 (1)
Свободны: 02 (1)
Инвентарный номер: 82-8-94+02
Найти похожие
8.
   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
Найти похожие
9.
   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
Найти похожие
10.
   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
Найти похожие
 1-10    11-14 
 
Стандартный
Расширенный
Профессиональный
По словарю
ГРНТИ-навигатор
© 1997-2017 Отделение ГПНТБ СО РАН