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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Математическая логика и теория алгоритмов для программистов учебное пособие для студентов высших учебных заведений, обучающихся по специальности "Программное обеспечение вычислительной техники и автоматизированных систем" направления подготовки "Информатика и вычислительная техника"
по: Гринченков, Дмитрий Валерьевич
Публикация: (2010)

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

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

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

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

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

Математическая логика: Пер. с англ./
по: Клини, С. К. Стефан Коул
Публикация: (1973)

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

Логика и комбинаторика Сборник статей
Публикация: (2002)

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

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

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

Специальные направления в линейном программировании
по: Гольштейн, Евгений Григорьевич 1931-
Публикация: (2018)

Логика и компьютер моделирование рассуждений и проверка правильности программ
Публикация: (1990)

Математическая логика
по: Клини, Стивен Коул 1909-1994
Публикация: (1973)

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

Логика и компьютер
Публикация: (1996)

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

Беседы о программировании
по: Кронрод, Александр Семенович 1921-1986
Публикация: (2006)

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

Математическая логика [учебник для техникумов по специальности "Прикладная математика"]
по: Никольская, Инна Львовна
Публикация: (1981)

Новые направления в линейном программировании
по: Гольштейн, Евгений Григорьевич 1931-
Публикация: (1966)

Математическая логика: Учебное пособие для вузов/
по: Колмогоров Андрей Николаевич, et al.
Публикация: (2004)

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