Главная страница

Базы данных


Российский сводный каталог по научно-технической литературе - результаты поиска

Вид поиска
Российский сводный каталог по научно-технической литературе
Область поиска
Формат представления найденных документов:
полный информационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: <.>U=510.62$<.>
Общее количество найденных документов : 9
Показаны документы с 1 по 9
1.
Вид документа : Однотомное издание
Шифр издания : K
Автор(ы) : Bordihn Henning, Dassow Juegen, Holzer Markus
Заглавие : Extending regular expressions with homomorphic replacement
Выходные данные : [Magdeburg], 2001
Колич.характеристики :28 c
Серия: Preprint/ Otto-von-Guericke-Univ. Magdeburg; Nr. 17, 2001. Fak. fuer Informatik
Примечания : ; Библиогр. : с. 24-25
Цена : Б.ц.
ГРНТИ : ; 27.03.19 + ; 28.25.15
УДК : + +
Найти похожие
2.
Вид документа : Однотомное издание
Шифр издания : K
Автор(ы) : Степанов В.А.
Заглавие : Содержательная семантика самореферентных предложений на базе динамических систем
Выходные данные : М: ВЦ им. А.А. Дородницына, 2002
Колич.характеристики :32 с
Серия: Сообщения по прикладной математике
Примечания : ; Библиогр. :. - ; С. 30-32
Цена : Б.ц.
УДК :
Найти похожие
3.
Вид документа : Однотомное издание
Шифр издания : K
Автор(ы) : Bonotto, Cinzia, Bressan, Aldo
Заглавие : On generalized synonymy notions and corresponding quasi senses
Выходные данные : Б.м.,Б.г.
Колич.характеристики :P. 167-209
Серия: Atti della Accad. naz. dei Lincei.Memorie.6;SER.8, Vol. 17, Sez. 1,
Цена : Б.ц.
ГРНТИ : ; 27
УДК :
Найти похожие
4.
Вид документа : Однотомное издание
Шифр издания : K
Автор(ы) : Benthem J.van, Eijck D.J.N.van, Frolova A.
Заглавие : Changing preferences
Выходные данные : Amsterdam, 1993
Колич.характеристики :16 c
Серия: Rep./Centrum voor wiskunde en informatica, Computer science/Dep.of software technology, ISSN 0169-118X;CS-R9310
Примечания : ; Парал.загл.ер.нидерл.-Библиогр.:с.14-16
Цена : Б.ц.
ГРНТИ : ; 27.03.19
УДК :
Ключевые слова (''Своб.индексиров.''): 0 ; предпочтения
Найти похожие
5.
Вид документа : Однотомное издание
Шифр издания : K
Автор(ы) : Jacquet J.M., Monteiro L.
Заглавие : Comparative semantics for a parallel contextual programming language
Выходные данные : Amsterdam, 1990
Колич.характеристики :24 c: ил
Серия: Rep./Centrum voor wiskunde en informatica, Computer science/Dep.of software technology;CS-R9018
Примечания : ; Библиогр.:с.23-24
Цена : Б.ц.
ГРНТИ : ; 27.47.25 + ; 27.03.19
УДК :
Ключевые слова (''Своб.индексиров.''): 0 ; языки программирования
Найти похожие
6.
Вид документа : Однотомное издание
Шифр издания : K
Автор(ы) : Heikkila H.
Заглавие : Definability and infinitely deep labguages
Выходные данные : Helsinki: Suomal.tiedeakat., 1993
Колич.характеристики :62 c
Серия: Annales Acad.sci.Fennicae.Ser.A:I.Math.diss., ISSN 0355-0087; N 89
Примечания : ; Библиогр.:с.59-62
Цена : Б.ц.
ГРНТИ : ; 27.03.19
УДК :
Ключевые слова (''Своб.индексиров.''): 0 ; глубокие языки
Найти похожие
7.
Вид документа : Однотомное издание
Шифр издания : K
Автор(ы) : Eijck D.Jan N.van
Заглавие : Dynamic reasoning without variables
Выходные данные : Amsterdam: [Б.и.], 1998
Колич.характеристики :27 с
Серия: Report. INS: Inform. systems/ Centrum voor wiskunde en informatica, ISSN 1386-3681; INS-R 9801
Примечания : ; Библиогр. : с. 26-27. - ; Парал. загл. сер. : гол.
Цена : Б.ц.
ГРНТИ : ; 27.03.19 + ; 27.47.25
УДК : +
Найти похожие
8.
Вид документа : Однотомное издание
Шифр издания : K
Автор(ы) : Avenhaus J.
Заглавие : Reduktionssysteme : Rechnen u.Schliessen in gleichungsdefinierten Strukturen
Выходные данные : Berlin; Heidelberg: Springer, 1995
Колич.характеристики :X,251 c: ил
Серия: Springer-Lehrbuch
Примечания : ; Библиогр.:с.215-222.-Указ.:с.223-226
ISBN, Цена 3-540-58559-1: Б.ц.
ГРНТИ : ; 27.03.19
УДК :
Ключевые слова (''Своб.индексиров.''): 0 ; системы приведения
Найти похожие
9.
Вид документа : Однотомное издание
Шифр издания : K
Автор(ы) : Яйлеткан, Александр Александрович, Кравченко, Людмила Валерьевна, Хайруллин, Амир Атауллович
Заглавие : История развития выразительных возможностей языка математической (символической) логики, анализ и обобщение : учебное пособие
Выходные данные : Тюмень: ТИУ, 2021
Колич.характеристики :119с.: ил.
Коллективы : Тюменский индустриальный университет
Примечания : ; Библиогр. в конце гл.
ISBN, Цена 978-5-9961-2711-5: р100 р.
ГРНТИ : ; 27.03.19 + ; 20.15.05
УДК : +
Предметные рубрики: Математическая логика
Интеллектуальные информационные системы
Ключевые слова (''Своб.индексиров.''): 1 ; анализ выразительных возможностей--1 ; генеалогическое древо логики--1 ; язык логики bfsn--1 ; системы, основанные на знаниях--1 ; классификация--1 ; представление знаний--1 ; продукционные модели--1 ; базы знаний--1 ; поиск решений--1 ; логический квадрат символической логики
Содержание :
Найти похожие
 
Описание базы данных
Стандартный
Расширенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
Тематический навигатор
Статистика обращений
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)