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

Базы данных

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

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

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

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

Вид документа : Однотомное издание
Шифр издания : Pr869/Pr869/747
Заглавие : Symbolic and quantitative approaches to reasoning and uncertainty : Europ. conf. ECSQARU '93, Granada, Spain, Nov. 8-10, 1993: Proceedings
Выходные данные : Berlin: Springer, 1993
Колич.характеристики :X, 390 p.: Ill.
Серия: Lecture notes in computer science; 747
Примечания : Bibliogr. at the end of the art. - - Auth. ind.: p. 389-390
ISBN, Цена 3-540-57395-X: Б.ц.
ГРНТИ : 50.33.35
ББК : З 973.205-01Я431
Предметные рубрики: Экспертные системы
Дескрипторы: сб пр--конф
Ключевые слова (''Своб.индексиров.''): логическое программирование--системы поддержки решения
Экземпляры :02(1)
Свободны : 02(1)
Найти похожие
3.

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

Вид документа : Однотомное издание
Шифр издания : Pr869/Pr869/701
Заглавие : LOGIDATA+: deductive databases with complex objects : сборник
Выходные данные : Berlin: Springer, 1993
Колич.характеристики :VIII, 273 p.: Ill.
Серия: Lecture notes in computer science; 701
Примечания : Bibliogr. at the end of the art
ISBN, Цена 3-540-56974-X: Б.ц.
ГРНТИ : 50.41.21
ББК : З 973.203.4-018.22
Предметные рубрики: Персональные компьютеры-- Системы управления базами и банками данных
Дескрипторы: сб пр
Ключевые слова (''Своб.индексиров.''): реляционные базы данных--логическое программирование
Экземпляры :02(1)
Свободны : 02(1)
Найти похожие
5.

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

Вид документа : Однотомное издание
Шифр издания : И-З 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)
Найти похожие
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 Отделение ГПНТБ СО РАН