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

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

Bibliographic Details
Other Authors:	Захарьящев, М. В., Янов, Ю. И.
Format:	Book
Published:	М.: Мир 1991
Series:	Математическое обеспечение ЭВМ
Subjects:	математическая логика ПРОГРАММИРОВАНИЕ ЛОГИЧЕСКОЕ ПРОГРАММИРОВАНИЕ
Online Access:	Перейти в каталог Библиотеки ТУСУР

Similar Items

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

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

Введение в логическое программирование
by: Хоггер, Кристофер Джон
Published: (1988)

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

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

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

Logic for computer scientists
by: Schoening, Uwe 1955-
Published: (2001)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Логика и компьютер [Сборник]
Published: (1995)

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

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

Логика и комбинаторика Сборник статей
Published: (2002)

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

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

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

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

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

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

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

Логика и компьютер
Published: (1996)

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

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

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

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

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

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

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