Главная
Упрощенный режим
Описание
Шлюз Z39.50
Отделение ГПНТБ СО РАН
Базы данных
Всего записей: 50699
Каталог книг и сборников Отделения ГПНТБ (1991- ) - результаты поиска
Вид поиска
Область поиска
Ключевые слова
Автор
Заглавие
Год издания
Персоналия
Характер документа
Коллектив/Мероприятие
Предметные рубрики
Персоналия
Сигла библиотек
Тип/вид документа
в найденном
Формат представления найденных документов:
полный
информационный
краткий
Отсортировать найденные документы по:
автору
заглавию
году издания
типу документа
Поисковый запрос:
(<.>S=Логическое программирование<.>)
Общее количество найденных документов
:
14
Показаны документы
с 1 по 10
1-10
11-14
1.
Вид документа
: Однотомное издание
Шифр издания
: 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)
Найти похожие
2.
Вид документа
: Однотомное издание
Шифр издания
: Pr869/Pr869/632
Заглавие
: Algebraic and logic programming : Third Intern. conf., Volterra, Italy, Sept. 2-4, 1992. Proc
Выходные данные
: Berlin: Springer, 1992
Колич.характеристики
:IX, 457 p.: Ill.
Серия:
Lecture notes in computer science; 632
Примечания
: Bibliogr. at the end the of art
ISBN, Цена
3-540-55873-X: Б.ц.
ГРНТИ
: 50.05.03
ББК
: З 973.205-018.12Я431
Предметные рубрики:
Логическое программирование
Дескрипторы:
сб пр--конф
Ключевые слова
(''Своб.индексиров.''): функциональное и
логическое программирование
Экземпляры
:02(1)
Свободны
: 02(1)
Найти похожие
3.
Вид документа
: Однотомное издание
Шифр издания
: 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)
Найти похожие
4.
Вид документа
: Однотомное издание
Шифр издания
: 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)
Найти похожие
5.
Вид документа
: Однотомное издание
Шифр издания
: Pr869/Pr869/626
Заглавие
: Computer science logic : 5th workshop, CSL'91 Berne, Switzerland, Oct. 7-11, 1991. Proceedings
Выходные данные
: Berlin: Springer, 1992
Колич.характеристики
:VII, 428 p.: Ill.
Серия:
Lecture notes in computer science; 626
Примечания
: Bibliogr. at the end of the art
ISBN, Цена
3-540-55789-X: Б.ц.
ГРНТИ
: 50.05.09 + 28.25
ББК
: З 973.205-018.12я431 + З 815я431
Предметные рубрики:
Логическое программирование
Теория автоматов
Дескрипторы:
сб пр--конф
Ключевые слова
(''Своб.индексиров.''): семантика--автоматы--сети петри
Экземпляры
:02(1)
Свободны
: 02(1)
Найти похожие
6.
Вид документа
: Однотомное издание
Шифр издания
: 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)
Найти похожие
7.
Вид документа
: Однотомное издание
Шифр издания
: Pr1019/Pr1019/383
Заглавие
: Logic programming '88 : Proc. of the 7th conf. Tokyo, Japan, Apr. 11-14, 1988
Выходные данные
: Berlin: Springer, 1989
Колич.характеристики
:6,251 p.: Ill.
Серия:
Lecture notes in artificial intelligence; 383
Примечания
: Bibliogr. at the end of the art
ISBN, Цена
3-540-51564-X:
ГРНТИ
: 50.05.09
ББК
: З 973.205-018.12я431
Предметные рубрики:
Логическое программирование
Дескрипторы:
сб пр
Ключевые слова
(''Своб.индексиров.''):
логическое программирование
--языки программирования
Экземпляры
:02(1)
Свободны
: 02(1)
Найти похожие
8.
Вид документа
: Однотомное издание
Шифр издания
: 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)
Найти похожие
9.
Вид документа
: Однотомное издание
Шифр издания
: 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)
Найти похожие
10.
Вид документа
: Однотомное издание
Шифр издания
: Pr869/Pr869/714
Заглавие
: Programming language implementation and logic programming : 5th intern. symp., PLILP'93 Tallinn, Estonia, Aug. 25-27, 1993. Proceedings
Выходные данные
: Berlin: Springer, 1993
Колич.характеристики
:XI, 421 p.: Ill.
Серия:
Lecture notes in computer science; 714
Примечания
: Bibliogr. at the end of the art
ISBN, Цена
3-540-57186-8: Б.ц.
ГРНТИ
: 50.05.09
ББК
: З 973.205-018.12Я431
Предметные рубрики:
Логическое программирование
Дескрипторы:
сб пр--конф
Ключевые слова
(''Своб.индексиров.''): объектно-ориентированное программирование--языки
Экземпляры
:02(1)
Свободны
: 02(1)
Найти похожие
полный формат
краткий формат
все найденные
отмеченные
кроме отмеченных
1-10
11-14
Стандартный
Расширенный
Профессиональный
По словарю
ГРНТИ-навигатор
© 1997-2017 Отделение ГПНТБ СО РАН