Математическая логика и автоматическое доказательство теорем

Author(s)

• Chang, Chin-Liang
• Lee, Richard Char-Tung
• Davydov, G. V.
• Mint︠s︡, G. E.
• Maslov, S. I︠U︡.

Bibliographic Information

Математическая логика и автоматическое доказательство теорем

Ч. Чень, Р. Ли ; перевод с английского Г.В. Давыдова, Г.Е. Минца и А.В. Сочилиной ; под редакцией С.Ю. Маслова

（Математическая логика и основания математики）

"Наука," Глав. ред. физико-математической лит-ры, 1983

Other Title

Matematicheskai︠a︡ logika i avtomaticheskoe dokazatelʹstvo teorem

Symbolic logic and mechanical theorem proving

Note

Translation of: Symbolic logic and mechanical theorem proving

Originally published: New York : Academic Press, 1973

Bibliography: p. [333]-349

Includes index

• NCID: BA73087717
• Country Code: ru
• Title Language Code: rus
• Text Language Code: rus
• Original Language Code: eng
• Place of Publication: Москва
• Pages/Volumes: 358 p.
• Size: 22 cm
• Classification:
  • LCC : QA9
  • DC : 511/.3
• Subject Headings:
  • LCSH : Logic, Symbolic and mathematical
  • LCSH : Automatic theorem proving
  • LCSH : Artificial intelligence
• Parent Bibliography ID:
  • BA20977603