• English
    • Deutsch
    • Español
    • Français
    • Italiano
    • 日本語
    • Nederlands
    • Português
    • Português (Brasil)
    • 中文(简体)
    • 中文(繁體)
    • Türkçe
    • עברית
    • Gaeilge
    • Cymraeg
    • Ελληνικά
    • Català
    • Euskara
    • Русский
    • Čeština
    • Suomi
    • Svenska
    • polski
    • Dansk
    • slovenščina
    • اللغة العربية
    • বাংলা
    • Galego
    • Tiếng Việt
    • Hrvatski
    • हिंदी
    • Հայերէն
    • Українська
Advanced
  • Логика в решении проблем: пер....
  • Cite this
  • Text this
  • Email this
  • Print
  • Export Record
    • Export to RefWorks
    • Export to EndNoteWeb
    • Export to EndNote
  • Permanent link
Логика в решении проблем: пер. с англ.

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

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
  • Holdings
  • Description
  • Similar Items
  • Staff View

Similar Items

  • Математическая логика. Логика высказываний. Конспекты лекций и упражнения по курсу пособие для студентов специальностей 01.03.01, 01.05.01, 02.03.01
    by: Петрова Л. П.
    Published: (Воронеж, ВГУ, 2015)
  • [Вып. 166]: Язык логики и логика языка: сборник статей; Вопросы кибернетики
    Published: (1990)
  • Логическое программирование: сборник статей; пер. с англ. и фр.
    Published: (Москва, Мир, 1988)
  • Логический подход к искусственному интеллекту: от классической логики к логическому программированию; пер. с фр.
    Published: (Москва, Мир, 1990)
  • Введение в логическое программирование на микро-прологе: пер. с англ.
    by: Кларк Кейт Л.
    Published: (Москва, Радио и связь, 1987)