๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

An algorithm for proving theorems in group theory

โœ Scribed by F. V. Anufriev; V. V. Fedyurko; A. A. Letichevskii; Z. M. Asel'derov; I. I. Didukh

Publisher
Springer US
Year
1967
Tongue
English
Weight
490 KB
Volume
2
Category
Article
ISSN
1573-8337

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

Connection Calculus Theorem Proving with
Connection Calculus Theorem Proving with Multiple Built-in Theories
โœ Uwe Petermann ๐Ÿ“‚ Article ๐Ÿ“… 2000 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 446 KB

Gradually more applications of automated reasoning are discovered. This development has the consequence that deduction systems need to be increasingly flexible. They should exhibit a behavior appropriate to a given problem. One way to achieve this behavior is the integration of different systems or