Логика в решении проблем пер. с англ.

Логика в решении проблем, пер. с англ.

Bibliographic Details
Main Author:	Ковальски Р. Роберт
Language:	Russian
Published:	Москва, Наука, 1990
Series:	Проблемы искусственного интеллекта
Subjects:	логика логическое программирование ЭВМ проектирование клауз Хорна интерпретация формализация изменчивость противоречия
Format:	Book
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=197900

Similar Items

Математическая логика. Логика высказываний. Конспекты лекций и упражнения по курсу пособие для студентов специальностей 01.03.01, 01.05.01, 02.03.01
by: Петрова Л. П.
Published: (Воронеж, ВГУ, 2015)

[Вып. 166]: Язык логики и логика языка сборник статей
Published: (1990)

Искусственный интеллект и пролог на микроЭВМ
by: Макаллистер Дж.
Published: (Москва, Машиностроение, 1990)

Логический подход к искусственному интеллекту от классической логики к логическому программированию пер. с фр.
Published: (Москва, Мир, 1990)

Логическое программирование сборник статей пер. с англ. и фр.
Published: (Москва, Мир, 1988)

Философские проблемы формализации знания
by: Алексеев Б. Т. Борис Тимофеевич
Published: (Ленинград, Изд-во ЛГУ, 1981)

Введение в логическое программирование на микро-прологе пер. с англ.
by: Кларк Кейт Л.
Published: (Москва, Радио и связь, 1987)

Автоматический вывод реляционных инвариантов для нелинейных систем дизъюнктов Хорна с ограничениями автореферат диссертации на соискание ученой степени кандидата физико-математических наук спец. 05.13.11
by: Мордвинов Д. А. Дмитрий Александрович
Published: (Томск, [Б. и.], 2020)

Логика учебник
by: Гетманова А. Д. Александра Денисовна
Published: (Москва, Омега-Л, 2006)

Логическое проектирование операционных систем пер. с англ.
by: Шоу А. Алан
Published: (Москва, Мир, 1981)

Логика учебник
by: Гетманова А. Д. Александра Денисовна
Published: (Москва, Омега-Л, 2008)

Методы и средства алгебраического и логического программирования сборник научных трудов
Published: (Киев, Изд-во ИК, 1990)

Логика учебное пособие для вузов
by: Гетманова А. Д. Александра Денисовна
Published: (Москва, Академический проект, 2009)

Диалектическая логика. Очерки истории и теории
by: Ильенков Э. В. Эвальд Васильевич
Published: (Москва, Политиздат, 1974)

Логика учебное пособие
by: Попов Ю. П. Юрий Петрович
Published: (Москва, КноРус, 2015)

Математическая логика учебное пособие
by: Игошин В. И. Владимир Иванович
Published: (Москва, Инфра-М, 2012)

Математическая логика учебное пособие
by: Игошин В. И. Владимир Иванович
Published: (Москва, Инфра-М, 2019)

Логика учебник
by: Гетманова А. Д. Александра Денисовна
Published: (Москва, Омега-Л, 2009)

Логическое программирование и моделирование систем учебное пособие
by: Новосельцев В. Б. Виталий Борисович
Published: (Томск, Изд-во ТПУ, 2008)

Математическая логика учебник
by: Никольская И. Л. Инна Львовна
Published: (Москва, Высшая школа, 1981)

Непрерывная логика (история, результаты, библиография) монография
by: Левин В. И. Виталий Ильич
Published: (Пенза, Изд-во Пензенской гос. технологической академии, 2008)

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

Жар холодных чисел и пафос бесстрастной логики. Формализация мышления от античных времен до эпохи кибернетики
by: Бирюков Б. В. Борис Владимирович
Published: (Москва, Едиториал УРСС, 2004)

Логическое следование и условные высказывания
by: Сидоренко Е. А. Евгений Александрович
Published: (Москва, Наука, 1983)

Современная логика и методология науки сборник научных статей
Published: (Москва, Изд-во МГУ, 1987)

Функциональное и логическое программирование. Ч. 1 учебное пособие
Published: (Санкт-Петербург, СПбГУТ им. М.А. Бонч-Бруевича, 2010)

Логическое программирование и моделирование систем учебное пособие электронный ресурс
by: Новосельцев В. Б. Виталий Борисович
Published: (Томск, Изд-во ТПУ, 2008)

Логика научного исследования
Published: (Москва, Наука, 1965)

Математическая логика и теория алгоритмов для программистов учебное пособие
by: Гринченков Д. В. Дмитрий Валерьевич
Published: (Москва, КноРус, 2013)

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

Функциональное программирование учебник и практикум для вузов
by: Кубенский А. А. Александр Александрович
Published: (Москва, Юрайт, 2024)

Функциональное программирование учебник и практикум для вузов
by: Кубенский А. А. Александр Александрович
Published: (Москва, Юрайт, 2022)

Функциональное программирование учебник и практикум для вузов
by: Кубенский А. А. Александр Александрович
Published: (Москва, Юрайт, 2023)

Функциональное программирование учебник и практикум для вузов
by: Кубенский А. А. Александр Александрович
Published: (Москва, Юрайт, 2025)

Функциональное программирование учебник и практикум для вузов
by: Кубенский А. А. Александр Александрович
Published: (Москва, Юрайт, 2021)

Прикладная логика
by: Попов С. В. Сергей Викторович
Published: (Москва, Физматлит, 2011)

Формы логики
Published: (Пекин, Народное изд-во, 2005)

Логика и философские категории межвузовский сборник
Published: (Ленинград, Изд-во ЛГУ, 1982)

Логика и истина
by: Кудрин А. К. Альберт Константинович
Published: (Москва, Политиздат, 1980)

Логика: теория аргументации и критического мышления
by: Воробьева С. В.
Published: (Минск, БГУ, 2018)