Главная
Упрощенный режим
Описание
Шлюз Z39.50
Отделение ГПНТБ СО РАН
Базы данных
Всего записей: 50699
Каталог книг и сборников Отделения ГПНТБ (1991- ) - результаты поиска
Вид поиска
Область поиска
Ключевые слова
Автор
Заглавие
Год издания
Персоналия
Характер документа
Коллектив/Мероприятие
Предметные рубрики
Персоналия
Сигла библиотек
Тип/вид документа
в найденном
Формат представления найденных документов:
полный
информационный
краткий
Отсортировать найденные документы по:
автору
заглавию
году издания
типу документа
Поисковый запрос:
(<.>K=логическое программирование<.>)
Общее количество найденных документов
:
14
Показаны документы
с 1 по 10
1-10
11-14
1.
Вид документа
: Однотомное издание
Шифр издания
: Pr1019/Pr1019/418
Заглавие
: Sorts and types in artificial intelligence : Workshop, Eringerfeld, FRG, Apr. 24-26, 1989. Proc.
Выходные данные
: Berlin: Springer, 1990
Колич.характеристики
:VIII,307 p.: Ill.
Серия:
Lecture notes in artificial intelligence; 418
Примечания
: Bibliogr. at the end of the art
ISBN, Цена
3-540-52337-5:
ГРНТИ
: 50.05.09 + 28.23
ББК
: З 813я431 + З 973.2-018.11я431
Предметные рубрики:
Искусственный интеллект
Общение человека с компьютером
Дескрипторы:
сб пр
Ключевые слова
(''Своб.индексиров.''):
логическое программирование
--языки программирования
Экземпляры
:02(1)
Свободны
: 02(1)
Найти похожие
2.
Вид документа
: Однотомное издание
Шифр издания
: 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)
Найти похожие
3.
Вид документа
: Однотомное издание
Шифр издания
: Pr869/Pr869/789
Заглавие
: Theoretical aspects of computer software : Intern. symp. TACS '94 Sendai, Japan, Apr. 19-22, 1994: Proceedings
Выходные данные
: Berlin: Springer, 1994
Колич.характеристики
:XI, 885 p.: Ill.
Серия:
Lecture notes in computer science; 789
Примечания
: Bibliogr. at the end of the art. - - Auth. ind. at the end of the book
ISBN, Цена
3-540-57887-0: Б.ц.
ГРНТИ
: 50.05.03
ББК
: З 973.205-018Я431
Предметные рубрики:
Программа обеспечения ЭВМ пятого поколения-- Теория
Дескрипторы:
сб пр--конф
Ключевые слова
(''Своб.индексиров.''):
логическое программирование
--объектно-ориентированные вычисления
Экземпляры
:02(1)
Свободны
: 02(1)
Найти похожие
4.
Вид документа
: Однотомное издание
Шифр издания
: Pr1019/Pr1019/617
Заглавие
: Advanced topics in artificial intelligence : Intern. Summer school, Prague, Czeshoslovakia, July 6-17, 1992. Proc.
Выходные данные
: Berlin: Springer, 1992
Колич.характеристики
:IX,484 p.: Ill.
Серия:
Lecture notes in artificial intelligence; 617
Примечания
: Bibliogr. at the end of the art
ISBN, Цена
3-540-55681-8: Б.ц.
ГРНТИ
: 28.23
ББК
: З 813я431
Предметные рубрики:
Искусственный интеллект
Дескрипторы:
сб пр--конф
Ключевые слова
(''Своб.индексиров.''): экспертные системы--
логическое программирование
--неопределенность
Экземпляры
:02(1)
Свободны
: 02(1)
Найти похожие
5.
Вид документа
: Однотомное издание
Шифр издания
: И-З 97/G18
Автор(ы)
: Garcia, Oscar N., Chien, Yi-Tzuu
Заглавие
: Knowledge-based systems : Fundamentals and tools
Выходные данные
: Los Alamitos: IEEE Computer society press, 1991
Колич.характеристики
:XIV,495 p.: Ill.
Примечания
: Bibliogr. at the end of the art
ISBN, Цена
0-8186-1924-4: Б.ц.
ГРНТИ
: 50.41.21
ББК
: З 973.205я43
Предметные рубрики:
Системы с базами знаний
Дескрипторы:
моногр
Ключевые слова
(''Своб.индексиров.''):
логическое программирование
--базы знаний--верификация
Экземпляры
:02(1)
Свободны
: 02(1)
Найти похожие
6.
Вид документа
: Однотомное издание
Шифр издания
: Шифр см. у томов/Pr1033
Заглавие
: Proceedings of the ... annual international computer software and applications conference : переводное издание
Выходные данные
: Los Alamitos: IEEE Computer soc. press, 19 - International computer software and applications conference
Перевод издания:
Сборник докладов на ... международной конференции по программному обеспечению вычислительных машин и его применению
Цена
: Б.ц.
ГРНТИ
: 50.41.01
ББК
: З 973.205-018я431
Предметные рубрики:
Компьютеры пятого поколения-- Программное обеспечение
Дескрипторы:
сб пр
Ключевые слова
(''Своб.индексиров.''): системы баз знаний--
логическое программирование
Найти похожие
7.
Вид документа
: Однотомное издание
Шифр издания
: Pr1019/Pr1019/587
Заглавие
: Aspects of automated natural language generation : 6th intern. workshop on natural language generation, Trento, Italy, Apr. 5-7, 1992. Proc
Выходные данные
: Berlin: Springer, 1992
Колич.характеристики
:VIII, 308 p.: Ill.
Серия:
Lecture notes in artificial intelligence; 587
Примечания
: Bibliogr. at the end of the art
ISBN, Цена
3-540-55399-1: Б.ц.
ГРНТИ
: 50.05.09 + 16.31.61
ББК
: З 973.2-018.12я431 + Ш112.2Я431
Предметные рубрики:
Языки программирования
Математическая лингвистика
Дескрипторы:
сб пр--конф.м
Ключевые слова
(''Своб.индексиров.''):
логическое программирование
--лингвистический выбор
Экземпляры
:02(1)
Свободны
: 02(1)
Найти похожие
8.
Вид документа
: Однотомное издание
Шифр издания
: Pr869/Pr869/405
Заглавие
: Foundations of software technology and theoretical computer science : Ninth conf., Bangalore, India, Dec. 19-21, 1989. Proc.
Выходные данные
: Berlin: Springer, 1989
Колич.характеристики
:VIII,339 p.: Ill.
Серия:
Lecture notes in computer science; 405
Примечания
: Bibliogr. at the end of the art
ISBN, Цена
3-540-52048-1:
ГРНТИ
: 50.05.09 + 50.41.01
ББК
: З 973.2-018я431
Предметные рубрики:
Программное обеспечение-- ЭВМ
Дескрипторы:
сб пр--конф
Ключевые слова
(''Своб.индексиров.''): алгоритмы--
логическое программирование
--конкурентность
Экземпляры
:02(1)
Свободны
: 02(1)
Найти похожие
9.
Вид документа
: Однотомное издание
Шифр издания
: Pr869/Pr869/404
Автор(ы)
: Beer, Joachim
Заглавие
: Concepts, design, and performance analysis of a parallel Prolog machine : сборник
Выходные данные
: Berlin: Springer, 1989
Колич.характеристики
:VI,128 p.: Ill.
Серия:
Lecture notes in computer science; 404
Примечания
: Bibliogr.: p. 125-128
ISBN, Цена
3-540-52053-8:
ГРНТИ
: 50.05.09
ББК
: З 973.2-018.12Prolog
Предметные рубрики:
Prolog, язык программирования
Дескрипторы:
моногр--сб пр
Ключевые слова
(''Своб.индексиров.''): эвм--параллельное программирование--
логическое программирование
Экземпляры
:02(1)
Свободны
: 02(1)
Найти похожие
10.
Вид документа
: Однотомное издание
Шифр издания
: Pr869/Pr869/402
Автор(ы)
: Bagchi, Tapan P, Chaudhri, Vinay K
Заглавие
: Interactive relational database design : A logic programming implementation
Выходные данные
: Berlin: Springer, 1989
Колич.характеристики
:XI,186 p.: Ill.
Серия:
Lecture notes in computer science; 402
Примечания
: Bibliogr.: p. 78-81
ISBN, Цена
3-540-51881-9:
ГРНТИ
: 50.41.21
ББК
: З 973.2-018.22
Предметные рубрики:
Компьютеры-- Базы данных
Дескрипторы:
моногр--сб пр
Ключевые слова
(''Своб.индексиров.''): базы данных--
логическое программирование
--реляционные базы данных
Экземпляры
:02(1)
Свободны
: 02(1)
Найти похожие
полный формат
краткий формат
все найденные
отмеченные
кроме отмеченных
1-10
11-14
Стандартный
Расширенный
Профессиональный
По словарю
ГРНТИ-навигатор
© 1997-2017 Отделение ГПНТБ СО РАН