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

CiNii Available at 5 libraries

Bibliographic Information

Title
"Математическая логика и автоматическое доказательство теорем"
Statement of Responsibility
Ч. Чень, Р. Ли ; перевод с английского Г.В. Давыдова, Г.Е. Минца и А.В. Сочилиной ; под редакцией С.Ю. Маслова
Publisher
  • "Наука," Глав. ред. физико-математической лит-ры
Publication Year
  • 1983
Book size
22 cm
Other Title
  • Matematicheskai︠a︡ logika i avtomaticheskoe dokazatelʹstvo teorem
  • Symbolic logic and mechanical theorem proving

Search this Book/Journal

Notes

Translation of: Symbolic logic and mechanical theorem proving

Originally published: New York : Academic Press, 1973

Bibliography: p. [333]-349

Includes index

Related Books

See more

Details 詳細情報について

Back to top