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

Базы данных

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

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

Вид поиска
Область поиска
в найденном
Формат представления найденных документов:
полный информационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>S=Логическое программирование<.>)
Общее количество найденных документов : 14
Показаны документы с 1 по 10
 1-10    11-14 
1.

Вид документа : Однотомное издание
Шифр издания : 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)
Найти похожие
2.

Вид документа : Однотомное издание
Шифр издания : Pr1019/Pr1019/619
Заглавие : Nonclassical logics and information processing : Intern. workshop, Berlin, Germany, Nov. 9-10, 1990. proceedings
Выходные данные : Berlin: Springer, 1992
Колич.характеристики :171 p.
Коллективы : All-Berlin workshop on nonclassical logics and information processing (1; 1990)
Серия: Lecture notes in artificial intelligence; 619
Примечания : Bibliogr. at the end of the art
ISBN, Цена 3-540-55745-8: Б.ц.
ISBN, Цена 0-387-55745-8: Б.ц.
ГРНТИ : 50.05.09
ББК : З 973.205-018.12я431
Предметные рубрики: Логическое программирование
Дескрипторы: сб пр--конф
Ключевые слова (''Своб.индексиров.''): модальные системы--немонотонная логика--теория проверок
Экземпляры :02(1)
Свободны : 02(1)
Найти похожие
3.

Вид документа : Однотомное издание
Шифр издания : Pr1019/Pr1019/596
Заглавие : Extensions logic programming : Second intern. workshop, ELP'91, Stockholm, Sweden, Jan. 27-29, 1991. Proc
Выходные данные : Berlin: Springer, 1992
Колич.характеристики :369 p.
Серия: Lecture notes in artificial intelligence; 596
Примечания : Bibliogr. at the end of the art
ISBN, Цена 3-540-55498-X: Б.ц.
ГРНТИ : 50.05.09
ББК : З 973.205-018.12я431
Предметные рубрики: Логическое программирование
Дескрипторы: сб пр--конф
Ключевые слова (''Своб.индексиров.''): языки программирования--функциональное программирование
Экземпляры :02(1)
Свободны : 02(1)
Найти похожие
4.

Вид документа : Однотомное издание
Шифр издания : И-З 97/S98
Заглавие : Sixth annual IEEE symposium on logic in computer science : Proceedings, July 15-18, 1991, Amsterdam
Выходные данные : Los Alamitos: IEEE computer society press, 1991
Колич.характеристики :XVII, 417 p.: Ill. Symposium on logic in computer science (6; 1991; Amsterdam)
Примечания : Bibliogr. at the end of the art. - - Auth. ind.: p. 417
ISBN, Цена 0-8186-2230-X: Б.ц.
ГРНТИ : 50.41.19
ББК : З 973.205-018.12я431
Предметные рубрики: Логическое программирование
Дескрипторы: конф
Ключевые слова (''Своб.индексиров.''): абстрактные типы данных--совпадение--представление знаний
Экземпляры :02(1)
Свободны : 02(1)
Найти похожие
5.

Вид документа : Однотомное издание
Шифр издания : Пр31/Пр31/148
Заглавие : Логические методы в информатике : сборник
Выходные данные : Новосибирск, 1993
Колич.характеристики :177 с., включ. обл.: схем.
Серия: Вычислительные системы: сб. науч. тр., ISSN 0568-661X; 148
Примечания : Библиогр. в конце ст.
ISBN, Цена 5-7623-0675-5: Б.ц.
ГРНТИ : 50.05.09
ББК : З 973.205-018.12я43
Предметные рубрики: Логическое программирование
Дескрипторы: сб пр--сб
Экземпляры :02(1)
Свободны : 02(1)
Найти похожие
6.

Вид документа : Однотомное издание
Шифр издания : Пр31/Пр31/146
Заглавие : Логика и семантическое программирование
Выходные данные : Новосибирск, 1992
Колич.характеристики :205 с., включ. обл.: ил.
Серия: Вычислительные системы: сб. науч. тр., ISSN 0568-661X; 146
Примечания : Библиогр. в конце ст.
ISBN, Цена 5-7623-0417-5: Б.ц.
ГРНТИ : 50.05
ББК : З 973.205-018.12я43
Предметные рубрики: Логическое программирование
Дескрипторы: сб пр--сб
Экземпляры :02(1)
Свободны : 02(1)
Найти похожие
7.

Вид документа : Однотомное издание
Шифр издания : И-З 97/S98
Заглавие : Proceedings of the seventh annual IEEE symposium on logic in computer science, Santa Cruz, California., June 22-25, 1992
Выходные данные : Los Alamitos: IEEE Computer society press, 1992
Колич.характеристики :XIII, 471 p.: Ill. Symposium on logic in computer science (7; 1992; Santa Cruz, California.)
Примечания : Bibliogr. at the end of the art. - - Auth. ind.: p. 471
ISBN, Цена 0-8186-2735-2: Б.ц.
ГРНТИ : 50.05.09
ББК : З 973.205-018.12я431
Предметные рубрики: Логическое программирование
Дескрипторы: конф
Ключевые слова (''Своб.индексиров.''): процесс алгебры--структуры данных--верификация
Экземпляры :02(1)
Свободны : 02(1)
Найти похожие
8.

Вид документа : Однотомное издание
Шифр издания : Pr869/Pr869/425
Заглавие : Algebraic logic and universal algebra in computer science : Conf., Ames, Lowa, USA, Jun. 1-4, 1988., Proc
Выходные данные : Berlin: Springer, 1990
Колич.характеристики :XI,292 p.: Ill.
Серия: Lecture notes in computer science; 425
Примечания : Bibliogr. at the end of the art
ISBN, Цена 3-540-97288-9: Б.ц.
ГРНТИ : 50.07.03 + 50.05.09
ББК : З 973.205-018.12я431
Предметные рубрики: Логическое программирование
Дескрипторы: сб пр--конф
Ключевые слова (''Своб.индексиров.''): логика программ--логическое программирование--семантика
Экземпляры :02(1)
Свободны : 02(1)
Найти похожие
9.

Вид документа : Однотомное издание
Шифр издания : Pr869/Pr869/417
Заглавие : COLOG-88 : Intern. conf. on computer logic, Tallinn, USSR, Dec. 12-16, 1988. Proc.
Выходные данные : Berlin: Springer, 1990
Колич.характеристики :VI,338 p.
Серия: Lecture notes in computer science; 417
Примечания : Bibliogr. at the end of the art
ISBN, Цена 3-540-52335-9:
ГРНТИ : 50.05.09
ББК : З 973.205-018.12Я431
Предметные рубрики: Логическое программирование
Дескрипторы: сб пр--конф
Ключевые слова (''Своб.индексиров.''): логика программ
Экземпляры :02(1)
Свободны : 02(1)
Найти похожие
10.

Вид документа : Однотомное издание
Шифр издания : Pr869/Pr869/343
Заглавие : Algebraic and logic programming : Intern. workshop, Gaussig, GDR, Nov. 14-18, 1988. Proc.
Выходные данные : Berlin: Springer, 1988
Колич.характеристики :278 p.: Ill.
Серия: Lecture notes in computer science; 343
Примечания : Bibliogr. at the end of the art
ISBN, Цена 3-540-50667-5: Б.ц.
ГРНТИ : 50.05.09 + 50.07.03
ББК : З 973.205-018.12я431
Предметные рубрики: Логическое программирование
Дескрипторы: сб пр--конф
Ключевые слова (''Своб.индексиров.''): логика программ--алгебраические спецификации
Экземпляры :02(1)
Свободны : 02(1)
Найти похожие
 1-10    11-14 
 
Стандартный
Расширенный
Профессиональный
По словарю
ГРНТИ-навигатор
© 1997-2017 Отделение ГПНТБ СО РАН