Symbolic mathematics system evaluators (extended abstract)
ISSAC '96 Proceedings of the 1996 international symposium on Symbolic and algebraic computation
Metalogical Frameworks II: Developing a Reflected Decision Procedure
Journal of Automated Reasoning
Hi-index | 0.00 |
No abstract is available.