Математическая логика и автоматическое доказательство теорем
著者
書誌事項
Математическая логика и автоматическое доказательство теорем
（Математическая логика и основания математики）
"Наука," Глав. ред. физико-математической лит-ры, 1983
- タイトル別名
-
Matematicheskai︠a︡ logika i avtomaticheskoe dokazatelʹstvo teorem
Symbolic logic and mechanical theorem proving
大学図書館所蔵 全5件
この図書・雑誌をさがす
注記
Translation of: Symbolic logic and mechanical theorem proving
Originally published: New York : Academic Press, 1973
Bibliography: p. [333]-349
Includes index