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

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

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)

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

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

Вып. 146 : Логика и семантическое программирование; Вычислительные системы
Published: (1992)

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

Диалектическое противоречие и логика познания
by: Нарский И. С. Игорь Сергеевич
Published: (Москва, Наука, 1969)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Моделирование систем: учебное пособие
by: Советов Б. Я. Борис Яковлевич
Published: (Москва, Высшая школа, 1985)

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

Логика и цепи переключения: сокр. пер. с англ.
by: Хилтон А. М. Алиса Мери
Published: (Москва, Госэнергоиздат, 1962)

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

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

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

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

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

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

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

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

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

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

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

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