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

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

Bibliographic Details
Main Author:	Ковальски Роберт (Author)
Other Authors:	Осмоловский, Л. Г. (Translator), Вольфенгаген Вячеслав Эрнстович (Translator), Яцук, В. Я. (Translator), Поспелов, Д. А.
Format:	Book
Published:	М.: Наука. Физматлит 1990
Series:	Проблемы искусственного интеллекта
Subjects:	клаузальная логика ЛОГИЧЕСКОЕ ПРОГРАММИРОВАНИЕ ИСКУССТВЕННЫЙ ИНТЕЛЛЕКТ Хорна клаузы
Online Access:	Перейти в каталог Библиотеки ТУСУР

Similar Items

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

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

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

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

Об альтернативе стандартной машине вывода в Прологе
by: Новосельцев, Виталий Борисович

Введение в искусственный интеллект
by: Эртель, Вольфганг
Published: (2019)

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

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

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

Искусственный интеллект и логическое программирование / ДО 2019 (09.03.04) электронный курс
by: Марухина, О. В. специалист в области оценки качества образования доцент Томского политехнического университета, кандидат технических наук 1974-
Published: (2023)

Логический подход к искусственному интеллекту От классической логики к логическому программированию
Published: (1990)

Пролог и искусственный интеллект учебное пособие
by: Горчаков, Леонид Всеволодович
Published: (2011)

Основы искусственного интеллекта учебное пособие : [для студентов вузов по специальности: 050202.65 - "Информатика"]
by: Гаврилова, Ирина Викторовна
Published: (2013)

Программирование на языке Пролог: учебное пособие/
by: Абрамов, И. А. Игорь Анатольевич
Published: (2011)

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

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

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

Логическое моделирование
by: Попов, С. В.
Published: (2006)

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

Искусственный интеллект с примерами на Python создание приложений искусственного интеллекта с помощью Python для взаимодействия с окружающим миром
by: Джоши, Пратик
Published: (2019)

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

Искусственный интеллект: Подход на основе эвристического программирования: Пер. с англ./
by: Слэйгл Джеймс Р.
Published: (1973)

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

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

Искусственный интеллект современный подход : пер. с англ.
by: Рассел, Стюарт 1962-
Published: (2019)

Логические нейронные сети учебное пособие
by: Барский, Аркадий Бенционович
Published: (2007)

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

Сон разума. Математическая логика и ее парадоксы
by: Фресан, Хавьер
Published: (2014)

Логический подход к искусственному интеллекту от модальной логики к логике баз данных
Published: (1998)

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

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

Искусственный интеллект: применение в химии [Сборник статей]
Published: (1988)

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

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

Практическое введение в технологию искусственного интеллекта и экспертных систем с иллюстрациями на Бейсике: Пер. с англ./
by: Левин, Р. Роберт, et al.
Published: (1990)

Практическое введение в технологию искусственного интеллекта и экспертных систем с иллюстрациями на Бейсике: Пер. с англ./
by: Левин, Р. Роберт, et al.
Published: (1991)

Разработка агента ИИ "Помощник программиста" для решения внутренних задач университета
by: Овсянников, Александр Александрович

Совместимость как контролировать искусственный интеллект : пер. с англ.
by: Рассел, Стюарт 1962-
Published: (2021)

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

Интеллектуальная квазибиологическая система, Индуктивный автомат
by: Емельянов-Ярославский, Леонид Борисович
Published: (1990)