Integrating Computer Algebra into Proof Planning

Authors
M.Kerber,M.Kohlhase,V.Sorge
Citation
M.kerber,m.kohlhase,v.sorge, Integrating Computer Algebra into Proof Planning, Journal of automated reasoning , 21(3), 1998, pp. 327-355
Journal title
Journal of automated reasoning → ACNP
ISSN journal
01687433
Volume
21
Issue
3
Year of publication
1998
Pages
327 - 355
Database
ACNP
SICI code