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

Базы данных

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

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

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

Вид документа : Однотомное издание
Шифр издания : Pr869/Pr869/618
Заглавие : Advanced database systems : 10th British nat. conf. on databases, BNCOD 10, Aberdeen, Scotland, July 6-8, 1992 : Proc.
Выходные данные : Berlin: Springer, 1992
Колич.характеристики :X, 260 p.: Ill.
Серия: Lecture notes in computer science; 618
Примечания : Bibliogr. at the end of the art
ISBN, Цена 3-540-55693-1: Б.ц.
ГРНТИ : 50.41.21
ББК : З 973.2-018.22я431
Предметные рубрики: Компьютеры-- Базы данных
Дескрипторы: сб пр--конф
Ключевые слова (''Своб.индексиров.''): логическое программирование
Экземпляры :02(1)
Свободны : 02(1)
Найти похожие
2.

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

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

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

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

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

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

Вид документа : Однотомное издание
Шифр издания : Шифр см. у томов/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
Предметные рубрики: Компьютеры пятого поколения-- Программное обеспечение
Дескрипторы: сб пр
Ключевые слова (''Своб.индексиров.''): системы баз знаний--логическое программирование
Найти похожие
10.

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