A Skeptic's Approach to Combining HOL and Maple

Authors
J.Harrison,L.Thery
Citation
J.harrison,l.thery, A Skeptic's Approach to Combining HOL and Maple, Journal of automated reasoning , 21(3), 1998, pp. 279-294
Journal title
Journal of automated reasoning → ACNP
ISSN journal
01687433
Volume
21
Issue
3
Year of publication
1998
Pages
279 - 294
Database
ACNP
SICI code