✦ LIBER ✦
Quantifier Elimination over Algebraically Closed Fields in a Proof Assistant using a Computer Algebra System
✍ Scribed by David Delahaye; Micaela Mayero
- Book ID
- 108126605
- Publisher
- Elsevier Science
- Year
- 2006
- Tongue
- English
- Weight
- 346 KB
- Volume
- 151
- Category
- Article
- ISSN
- 1571-0661
No coin nor oath required. For personal study only.