Academic Journal
On the mechanization of the theory of equations
| Title: | On the mechanization of the theory of equations |
|---|---|
| Authors: | Robinson, A. |
| Subject Terms: | Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.), Formalization of mathematics in connection with theorem provers, elementary theory of equations, semantically complete calculus |
| Document Type: | Article |
| File Description: | application/xml |
| Access URL: | https://zbmath.org/3337681 |
| Accession Number: | edsair.c2b0b933574d..6d7952b7de1a526d9bafb58fdfca2627 |
| Database: | OpenAIRE |
| Description not available. |