Математическая логика и автоматическое доказательство теорем
Author(s)
Bibliographic Information
Математическая логика и автоматическое доказательство теорем
(Математическая логика и основания математики)
"Наука," Глав. ред. физико-математической лит-ры, 1983
- Other Title
-
Matematicheskai︠a︡ logika i avtomaticheskoe dokazatelʹstvo teorem
Symbolic logic and mechanical theorem proving
Available at / 5 libraries
-
No Libraries matched.
- Remove all filters.
Search this Book/Journal
Note
Translation of: Symbolic logic and mechanical theorem proving
Originally published: New York : Academic Press, 1973
Bibliography: p. [333]-349
Includes index