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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Logic for computer scientists
по: Schoening, Uwe 1955-
Публикация: (2001)

Введение в логическое программирование
по: Хоггер, Кристофер Джон
Публикация: (1988)

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

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

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

Логика в решении проблем: Пер. с англ./
по: Ковальски Роберт
Публикация: (1990)

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

Логический подход к искусственному интеллекту: От классической логики к логическому программированию: Пер. с фр./
по: Грибомон, П. Паскаль, et al.
Публикация: (1990)

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

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

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

Введение в логическое программирование: пер. с англ./
по: Хоггер, К. Д. Кристофер Джон
Публикация: (1988)

Программирование и вычислительные системы материалы 50-й юбилейной международной научной студенческой конференции "Студент и научно-технический прогресс", 13-19 апреля 2012 г.
Публикация: (2012)

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

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

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

Логика в решении проблем
по: Ковальски, Роберт
Публикация: (1990)

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

Информационные технологии и вычислительные системы журнал
Публикация: (2013)

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

Теоретический минимум по Computer Science все, что нужно программисту и разработчику
по: Фило, Владстон Феррейра
Публикация: (2022)

Вычислительные системы: научное издание/
по: Корнеев Виктор Владимирович
Публикация: (2004)

Искусственный интеллект и экспертные системы: Учебное методическое пособие/
по: Зюзьков Валентин Михайлович
Публикация: (1999)

Языки программирования: лабораторный практикум/
по: Романов, А. С.
Публикация: (2012)