Поисковый запрос: <.>U=510.62$<.> |
Общее количество найденных документов : 9
Показаны документы с 1 по 9 |
>1.
| 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 УДК: 510.624
Перевод заглавия: Системы приведения.Вычисления и заключения в структурах, определенных уравнениями Ключевые слова:
системы приведения
Держатели документа:
|
>2.
| Benthem J.van
Changing preferences Eijck D.J.N.vanFrolova A. - 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 УДК: 510.624
Перевод заглавия: Изменяющиеся предпочтения Ключевые слова:
предпочтения
Держатели документа:
|
>3.
| Bonotto C.
On generalized synonymy notions and corresponding quasi senses Bressan Aldo -Б.м. - Б.г. - P. 167-209. -(Atti della Accad. naz. dei Lincei.Memorie.6;SER.8, Vol. 17, Sez. 1,). - На англ.яз. ГРНТИ: 27 УДК: 510.62
Держатели документа:
|
>4.
| Bordihn Henning
Extending regular expressions with homomorphic replacement Bordihn Henning, Dassow Juegen, Holzer Markus. - [Magdeburg]. - 2001. - 28 c. -(Preprint Otto-von-Guericke-Univ. Magdeburg; Nr. 17, 2001. Fak. fuer Informatik) ГРНТИ: 27.03.19; 28.25.15 УДК: 510.624; 519.766.23; 519.713
Перевод заглавия: Расширение регулярных выражений с гомоморфной заменой.
Держатели документа:
|
>5.
| 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). - На нидерл.яз. - Нидерланды. - Парал. загл. сер. : гол. ГРНТИ: 27.03.19; 27.47.25 УДК: 510.765; 510.62
Перевод заглавия: Динамическое умозаключение без переменных.
Держатели документа:
|
>6.
| 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 УДК: 510.62
Перевод заглавия: Определимость и бесконечно глубокие языки Ключевые слова:
глубокие языки
Держатели документа:
|
>7.
| Jacquet J.M.
Comparative semantics for a parallel contextual programming language Monteiro L. - 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 УДК: 510.62+519.76
Перевод заглавия: Сравнительная семантика для параллельных контекстуальных языков программирования Ключевые слова:
языки программирования
Держатели документа:
|
>8.
| Степанов В.А.
Содержательная семантика самореферентных предложений на базе динамических систем Степанов В.А.;Рос. АН. ВЦ им. А.А. Дородницына. - М: ВЦ им. А.А. Дородницына. - 2002. - 32 с. -(Сообщения по прикладной математике). - На рус.яз. - Российская Федерация. - С. 30-32 УДК: 510.624
Держатели документа:
|
>9.
| Яйлеткан А.А.
История развития выразительных возможностей языка математической (символической) логики, анализ и обобщение: учебное пособие А. А. Яйлеткан, Л. В. Кравченко, А. А. Хайруллин;Министерство науки и высшего образования Российской Федерации, Тюменский индустриальный университет. - Тюмень: ТИУ. - 2021. - 119с.: ил. - На рус.яз. - Российская Федерация. - ISBN 978-5-9961-2711-5. - Тираж 500экз. ГРНТИ: 27.03.19; 20.15.05 УДК: 510.62(09); 004.891.2 Предметные рубрики: Математическая логика--История
; Интеллектуальные информационные системы
Ключевые слова:
анализ выразительных возможностей
генеалогическое древо логики
язык логики BFSN
системы, основанные на знаниях
классификация
представление знаний
продукционные модели
базы знаний
поиск решений
логический квадрат символической логики Аннотация: В учебном пособии описаны методы приобретения, представления и обработки знаний в интеллектуальных системах, а также технологии проектирования и реализации интеллектуальных информационных систем. Рассматриваются методы искусственного интеллекта и их применение для решения задач из различных проблемных областей.
Держатели документа:
|
|
|