Academic Journal
On the mechanization of the theory of equations
| Τίτλος: | On the mechanization of the theory of equations |
|---|---|
| Συγγραφείς: | Robinson, A. |
| Θεματικοί όροι: | 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 |
| Τύπος εγγράφου: | Article |
| Περιγραφή αρχείου: | application/xml |
| Σύνδεσμος πρόσβασης: | https://zbmath.org/3337681 |
| Αριθμός Καταχώρησης: | edsair.c2b0b933574d..6d7952b7de1a526d9bafb58fdfca2627 |
| Βάση Δεδομένων: | OpenAIRE |
| Η περιγραφή δεν είναι διαθέσιμη |