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

CiNii 所蔵館 5館

書誌事項

タイトル
"Математическая логика и автоматическое доказательство теорем"
責任表示
Ч. Чень, Р. Ли ; перевод с английского Г.В. Давыдова, Г.Е. Минца и А.В. Сочилиной ; под редакцией С.Ю. Маслова
出版者
  • "Наука," Глав. ред. физико-математической лит-ры
出版年月
  • 1983
書籍サイズ
22 cm
タイトル別名
  • Matematicheskai︠a︡ logika i avtomaticheskoe dokazatelʹstvo teorem
  • Symbolic logic and mechanical theorem proving

この図書・雑誌をさがす

注記

Translation of: Symbolic logic and mechanical theorem proving

Originally published: New York : Academic Press, 1973

Bibliography: p. [333]-349

Includes index

関連図書・雑誌

もっと見る

詳細情報 詳細情報について

ページトップへ