ГПНТБ России - Полное описание

Государственная публичная
научно-техническая библиотека России

Основана в 1958 году

Полное описание

Борщев, В. Б. Семантика языков логического программирования и абстрактная машина для их реализации : автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:05.13.17;05.13.11 / В. Б. Борщев. - М., 1992. - 47 с. : ил. - Текст : непосредственный.
В надзаг.: Рос.АН,Всерос.ин-т науч.и техн.информации. Библиогр.: с. 46-47(13назв.).

ГРНТИ	УДК
50.05.03	004.43(043)

Держатели документа:
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): АР92-5168)

Шифр в сводном ЭК: eec432a7a75def689075016c7a31ea03

Лицевая сторона карточки	Обратная сторона карточки

Борщев В.Б. Информационный центр в эпоху Интернета (Системы координат информационного пространства науки и информационная инфраструктура) / В. Б. Борщев, Р. С. Гиляревский. - Текст : непосредственный // Информационное общество, информационные ресурсы и технологии телекоммуникации : материалы 5-й международной конференции, Москва, 22-24 ноября 2000 г. - Москва : ВИНИТИ, 2000. - с. 59-60 Петербургская библиотечная школа. - Журнал, 2012г. № 2. - Текст : непосредственный.Борщев В.Б. Семантика языков логического программирования и абстрактная машина для их реализации : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:05.13.17;05.13.11 / В. Б. Борщев, 1992. - 47 с. - Текст : непосредственный.Научно-техническая информация. Серия 2, Информационные процессы и системы. - Журнал, 1999г. № 10.Научно-техническая информация. Серия 2, Информационные процессы и системы. - Журнал, 2012г. № 11.Научно-техническая информация. Серия 2, Информационные процессы и системы. - Журнал, 2004г. № 5.Научно-техническая информация. Серия 2, Информационные процессы и системы. - Журнал, 2006г. № 11.Научно-техническая информация. Серия 2, Информационные процессы и системы. - Журнал, 2010г. № 3.Научно-техническая информация. Серия 2, Информационные процессы и системы. - Журнал, 2009г. № 2.Борщев В. Б. Интернет и информационная среда / В. Б. Борщев. - Текст : непосредственный // Научно-техническая информация. Сер.2. Информационные процессы и системы / ВИНИТИ. - М. - 2009. - N2. - с. 1-14 Борщев В. Б. Заметки о научном портале ВИНИТИ РАН (цели, структура и функциональные возможности) / В. Б. Борщев. - Текст : непосредственный // Научно-техническая информация. Сер.2, Информационные процессы и системы / ВИНИТИ. - М. - 2010. - N 3. - с. 8-22 Научно-техническая информация. Серия 2, Информационные процессы и системы. - Журнал, 1998г. № 11.Научно-техническая информация. Серия 1, Организация и методика информационной работы. - Журнал, 2004г. № 8.Научно-техническая информация. Серия 2, Информационные процессы и системы. - Журнал, 2008г. № 8.Научно-техническая информация. Серия 2, Информационные процессы и системы. - Журнал, 1999г. № 8.

Борщев В.Б. Семантика языков логического программирования и абстрактная машина для их реализации : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:05.13.17;05.13.11 / В. Б. Борщев, 1992. - 47 с. - Текст : непосредственный.

Logic programming : материалы временных коллективов / Ed.: V. Saraswat, K. Ueda, 1991. - 736 p. - Текст : непосредственный.Винокуров Н. А. Практика и теория программирования : учеб. пособие: в 2 кн. Кн. 1 Ч. 1 и 2, 2008. - 189 с. - Текст : непосредственный.Винокуров Н. А. Практика и теория программирования : учеб. пособие: в 2 кн. Кн. 2Ч. 3 и 4, 2008. - 284 с. - Текст : непосредственный.Иванов Б.Н. Дискретная математика. Алгоритмы и программы / Б. Н. Иванов, 2003. - 288 с. - Текст : непосредственный.Herczeg J. Methoden und Werkzeuge zur visuellen objektorientierten Programmierung / J. Herczeg, 1995. - 218 S. - Текст : непосредственный.Калверт Ч. Программирование в Windows. Освой самостоятельно за 21 день : монография / Ч. Калверт, 1995. - 495 c. - Текст : непосредственный.Петухин В.А. Анализ логических программ и компиляция языка Флэнг : специальность 05.13.16 "" : автореферат диссертации на соискание ученой степени канд.физ.-мат.наук / В. А. Петухин, 1993. - 13 с. - Текст : непосредственный.Манцивода А.В. Логическое программирование в ограничениях: семантический подход : специальность 05.13.11 "Математическое и программное обеспечение вычислительных машин,комплексов и компьютерных сетей" : автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук / А. В. Манцивода, 1995. - 24 с. - Текст : непосредственный.Logic and algebra of specification : сборник научных трудов / Ed. F. L. Bauer, 1993. - 442 p. - Текст : непосредственный.Eckgold F. Systemprogramierung OS/2 2.x : монография / F. Eckgold, 1993. - XV,959 p. p. - Текст : непосредственный.Marchiori E. A logic for variable aliasing in logic programs / E. Marchiori, 1994. - 16 p. - Текст : непосредственный.Bossi A. More on unfold/fold transformations of normal programs:preservation of fitting's semantics / A. Bossi, S. Etalle, 1994. - 18 p. - Текст : непосредственный.Middeldorp A. Counterexamples to completeness results for basic narrowing / A. Middeldorp, E. Hamoen, 1991. - 44 p. - Текст : непосредственный.On the adequacy of graph rewriting for simulating term rewriting / J. R. Kennaway, J. W. Klop, M. R. Sleep, F.-J. de Vries, 1992. - 18 p. - Текст : непосредственный.Rewriting techniques and applications : материалы временных коллективов / Ed. R. V. Book, 1991. - 458 p. - Текст : непосредственный.Conditional and typed rewriting systems : материалы временных коллективов / Ed.: S. Kaplin, M. Okada, 1991. - X,461 p. p. - Текст : непосредственный.Transfinite reductions in orthogonal term rewriting systems (extended abstract) / J. R. Kennaway, J. W. Klop, M. R. Sleep, F. J.de Vries, 1990. - 16 p. - Текст : непосредственный.infinitary Church-Rosser property for non-collapsing orthogonal term rewriting systems / J. R. Kennaway, J. W. Klop, M. R. Sleep, F.J. de Vries, 1990. - 12 p. - Текст : непосредственный.Transfinite reductions in orthogonal term rewriting systems / J. R. Kennaway, J. W. Klop, M. R. Sleep, F.J. de Vries, 1990. - 48 p. - Текст : непосредственный.Middeldorp A. Completeness of combinations of constructor systems / A. Middeldorp, Y. Toyama, 1990. - 18 p. - Текст : непосредственный.

Показать все результаты

Automata,Languages and programming : материал технической информации / Ed. J. Diaz, 1983. - VIII,733 p. p. - Текст : непосредственный.Пастухов А.Ю. Адаптация лингвистического обеспечения к естественному языку пользователя : специальность 05.13.01 "Системный анализ,управление и обработка информации (по отраслям)" : автореферат диссертации на соискание ученой степени канд. техн. наук / А. Ю. Пастухов, 2001. - 16 с. - Текст : непосредственный.

Лицевая сторона карточки	Обратная сторона карточки

Лицевая сторона карточки	Обратная сторона карточки

Лицевая сторона карточки	Обратная сторона карточки

Березун Д.А. Трассирующая нормализация / Д. А. Березун, 2017. - 15 с. - Текст : непосредственный.Казакова А.Е. Методологические основания развития языков программирования : автореф. дис. .. канд. философ. наук: 09.00.08 / А. Е. Казакова, 2008. - 22 с. - Текст : непосредственный.Нигиян С.А. Функциональные и логические языки программирования (формализация, анализ, интерпретация) : Автореферат диссертации на соискание ученой степени д-ра физ.-мат. наук: 05.13.11 / С. А. Нигиян, 1997. - 34 с. - Текст : непосредственный.Груздов Ф.А. Архитектурная поддержка защищенных вычислений при реализации объектно-ориентированных языков : Автореферат диссертации на соискание ученой степени канд. техн. наук: 05.13.13 / Ф. А. Груздов, 2000. - 26 с. - Текст : непосредственный.Авербух В.Л. Анализ и оценка языков систем визуализации программного обеспечения : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.11 / В. Л. Авербух, 1998. - 18 с. - Текст : непосредственный.Hucken V. Objekt-Orientierung und Parallelitat in Betriebssystem und Programmiersprache : Diss / V.H@:ucken, 1990. - IV,137 S. S. - Текст : непосредственный.Сафонов К.В. Распознавание и синтаксический анализ контекстно-свободных языков программирования : автореф. дис. .. д-ра физ.-мат. наук: 05.13.11 / К. В. Сафонов, 2006. - 30 с. - Текст : непосредственный.Борщев В.Б. Семантика языков логического программирования и абстрактная машина для их реализации : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:05.13.17;05.13.11 / В. Б. Борщев, 1992. - 47 с. - Текст : непосредственный.Хаберланд Рене.Логический язык программирования как инструмент спецификации и верификации динамической памяти : специальность: 05.13.11 - Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей: автореферат диссертации на соискание ученой степени кандидата технических наук / Хаберланд Рене, 2020. - 16 с. - Текст : непосредственный.Бурцев А.А. Расширение языков программирования средствами обработки исключительных ситуаций : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / А. А. Бурцев, 1996. - 22 с. - Текст : непосредственный.

Борщев В.Б. Семантика языков логического программирования и абстрактная машина для их реализации : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:05.13.17;05.13.11 / В. Б. Борщев, 1992. - 47 с. - Текст : непосредственный.

Заказ фрагмента документа ₽