✦ LIBER ✦
Analyst: A program package for proving identities (theorems) in axiomatic algorithmic-algebra systems
✍ Scribed by G. M. Kirsanov; G. E. Tseitlin; E. L. Yushchenko
- Publisher
- Springer US
- Year
- 1980
- Tongue
- English
- Weight
- 589 KB
- Volume
- 15
- Category
- Article
- ISSN
- 1573-8337
No coin nor oath required. For personal study only.