Searching for "Specification and Integration of Theorem Provers and Computer Algebra Systems." – sorted by Relevance.
2 documents found, showing 1 through 2.
-
Specification and Integration of Theorem Provers and Computer Algebra Systems
- …Specification and Integration of Theorem Provers and Computer Algebra Systems P.G. Bertoli 1 ,J…
- Add To MetaCart
-
Specification and Integration of Theorem Provers and Computer Algebra Systems
- …. Specification and integration of theorem provers and computer algebra systems P.G. Bertoli 1 J. Calmet 2 F…
- Cited by 23 (10 self) – Add To MetaCart
Showing 1 through 2.
