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

Вычислительные системы: Сборник научных трудов/ Вып. 148, Логические методы в программировании: сборник научных трудов/Ред. Ю. Л. Ершов, Ред. С. С. Гончаров

Библиографическая информация
Другие авторы:	Ершов, Ю. Л. (Редактор), Гончаров, С. С. (Редактор)
Формат:	Книга
Публикация:	Новосибирск: Институт математики 1993
Предметы:	вычислительные системы ЯЗЫКИ СПЕЦИФИКАЦИЙ СЕМАНТИЧЕСКОЕ ПРОГРАММИРОВАНИЕ ЛОГИЧЕСКОЕ ПРОГРАММИРОВАНИЕ
Online-ссылка:	Перейти в каталог Библиотеки ТУСУР

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Язык программирования Лого
по: Дьяконов, Владимир Павлович
Публикация: (1991)

Реляционный язык Пролог и его применение: Пер. с англ./
по: Малпас Джон
Публикация: (1990)

Язык Пролог в пятом поколении ЭВМ: сборник статей 1983-1986 гг./
Публикация: (1988)

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

Введение в информатику: сборник задач: Структурированное собрание упражнений с образцами решений: Пер. с нем./
по: Брой Манфред, et al.
Публикация: (2000)

Prolog for computer science
по: Dawe, M. S.
Публикация: (1994)

Искусство программирования на языке Пролог: Пер. с англ./
по: Стерлинг Леон, et al.
Публикация: (1990)

Математическая логика в программировании Сборник статей : Пер. с англ.
Публикация: (1991)

Логическое программирование и базы данных: Пер. с англ./
по: Чери Стефано, et al.
Публикация: (1992)

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

Реляционный язык пролог и его применение
по: Малпас, Джон Р.
Публикация: (1990)

Введение в информатику: сборник задач Структурированное собрание упражнений с образцами решений
по: Брой, Манфред
Публикация: (2000)

Программирование и вычислительные системы: материалы конференции "Студент и научно-технический прогресс"/
Публикация: (2012)

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

Теория и практика языков программирования: учебник/
по: Орлов, С. А. Сергей Александрович
Публикация: (2014)

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

Требования и спецификации в разработке программ: Сборник статей: Пер. с англ.
Публикация: (1984)

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

Математическая логика в программировании: Сборник статей 1980-1988 гг.: Пер. с англ./
Публикация: (1991)

Использование абстракций и спецификаций при разработке программ: Пер. с англ./
по: Лисков, Б. Барбара, et al.
Публикация: (1989)

Искусство программирования на языке Пролог
по: Стерлинг, Леон
Публикация: (1990)

Логика и компьютер [Сборник]
Публикация: (1995)

Вычислительные системы с программируемой структурой сборник трудов
Публикация: (1982)

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

Логика и компьютер: Моделирование рассуждений и проверка правильности программ/
по: Алешина, Н. А. Наталия Альбертовна, et al.
Публикация: (1990)