𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Some examples in connection with Pontryagin's duality theorem

✍ Scribed by Susanne Dierolf; Stefan Warken


Book ID
112499925
Publisher
Springer
Year
1978
Tongue
English
Weight
345 KB
Volume
30
Category
Article
ISSN
0003-889X

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


Connection Calculus Theorem Proving with
✍ 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