Вычислительные системы: Сборник научных трудов/

Вычислительные системы: Сборник научных трудов/ Вып. 152, Теория вычислений и языки спецификаций

Библиографическая информация
Формат:	Книга
Язык:	Russian
Публикация:	Новосибирск 1995
Предметы:	теория вычислений языки спецификаций программирование семантическое программирование прикладная логика программная логика ресурсная динамическая логика RDL S-программы языки действий естественные языки СИГМА-Т3 теория алгоритмов вычислительные системы
Online-ссылка:	Перейти в каталог Библиотеки ТУСУР

Похожие документы

Вычислительные системы: Сборник научных трудов/
Публикация: (1991)

Вычислительные системы: Сборник научных трудов/
Публикация: (1988)

Вычислительные системы: Сборник научных трудов/
Публикация: (1993)

Вычислительные системы: Сборник научных трудов/
Публикация: (1990)

Вычислительные системы: Сборник научных трудов/
Публикация: (1989)

Вычислительные системы: Сборник научных трудов/
Публикация: (1992)

Вычислительные системы: Сборник научных трудов/
Публикация: (1986)

Вычислительные системы: Сборник научных трудов/
Публикация: (1986)

Вычислительные системы: Сборник научных трудов/
Публикация: (1985)

Вычислительные системы: Сборник научных трудов/
Публикация: (1987)

Логический подход к искусственному интеллекту от модальной логики к логике баз данных
Публикация: (1998)

Software Engineering/
по: Bjørner, Dines
Публикация: (2006)

Вычислительные системы: Сборник научных трудов/
Публикация: (1987)

Непрямые действия агентов и авторитетные отношения в STIT и PDL
по: Карпов, Глеб Викторович

Software Engineering/
по: Bjørner, Dines
Публикация: (2006)

Математическая логика и теория алгоритмов [учебное пособие для бакалавров, обучающихся по направлениям подготовки "Информатика и вычислительная техника", "Информационные системы"]
по: Крупский, Владимир Николаевич
Публикация: (2013)

Методы и средства вычислений с объектами. Аппликативные вычислительные системы: научное издание/
по: Вольфенгаген, В. Э. Вячеслав Эрнстович
Публикация: (2004)

Об уточнении модели для деонтической динамической логики с редукционистской семантикой (ответ Е. И. Борисову)
по: Кислов, Алексей Геннадьевич

Математические основания информатики
по: Столбоушкин, А. П.
Публикация: (1998)

Математическая логика и теория алгоритмов учебное пособие : [для курса "Математическая логика и теория алгоритмов" направлений подготовки бакалавров "Информатика и вычислительная техника" и "Управление в технических системах"]
по: Зюзьков, Валентин Михайлович
Публикация: (2015)

Теория синтаксического анализа, перевода и компиляции: в 2 т.: пер. с англ./
по: Ахо, Альфред
Публикация: (1978)

Нормативные характеристики действий в динамической деонтической логике
по: Борисов, Евгений Васильевич философ

Труды научно-исследовательского семинара логического центра Института философии РАН. 1996.
Публикация: (1997)

Логика и лингвистика Материалы специального курса: Учебное пособие для студентов филологических отделений
по: Лагута, Ольга Николаевна
Публикация: (2000)

Логика и реальность логико-философские очерки
по: Попов, Валентин Германович
Публикация: (2004)

XSLT: научное издание/
по: Тидуэлл, Дуг Дуг
Публикация: (2010)

Системная информатика Сборник научных трудов
Публикация: (2000)

Системная информатика: Сборник научных трудов/
Публикация: (2002)

Formal semantics an introduction
по: Cann, Ronnie 1954-
Публикация: (2003)

Основы кибернетики. Математические основы кибернетики: учебное пособие/
по: Галушкин, А. И. Александр Иванович, et al.
Публикация: (1974)

Математическая логика и теория множеств (О соотношении абстрактного и конкретного)
по: Харин, Николай Никитич
Публикация: (1963)

Математическая логика. Курс лекций и практических занятий: Учебное пособие для вузов/
по: Шапорев, С. Д. Сергей Дмитриевич
Публикация: (2005)

Формальная грамматика и интенсиональная логика
по: Герасимова, Ирина Алексеевна 1953-
Публикация: (2000)

Спецификация задач на основе трактовки естественного языка как формального
по: Москвитин, Анатолий Алексеевич

Математическая логика и теория алгоритмов: Учебное пособие для вузов/
по: Зюзьков, В. М. Валентин Михайлович, et al.
Публикация: (2007)

Дискретная математика и комбинаторика: Пер. с англ./
по: Андерсон, Д. А. Джеймс
Публикация: (2004)

Программирование и алгоритмические языки
по: Криницкий, Николай Андреевич
Публикация: (1975)

Математическая логика и теория алгоритмов: учебное пособие/
по: Зюзьков, В. М. Валентин Михайлович, et al.
Публикация: (2001)

Математическая логика и теория алгоритмов: Учебное пособие для вузов/
по: Игошин, В. И. Владимир Иванович
Публикация: (2004)

Математическая логика и теория алгоритмов: Учебник/
по: Судоплатов, С. В., et al.
Публикация: (2008)