Analytica-An Experiment in Combining Theorem Proving and Symbolic Computation

Authors
A.Bauer,E.Clarke,X.Zhao
Citation
A.bauer,e.clarke,x.zhao, Analytica-An Experiment in Combining Theorem Proving and Symbolic Computation, Journal of automated reasoning , 21(3), 1998, pp. 295-325
Journal title
Journal of automated reasoning → ACNP
ISSN journal
01687433
Volume
21
Issue
3
Year of publication
1998
Pages
295 - 325
Database
ACNP
SICI code