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

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

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

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

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

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

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

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

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

Введение в искусственный интеллект
по: Эртель, Вольфганг
Публикация: (2019)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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