An integral theorem prover and the role of proof planning

DOI10.1007/BF00244284zbMath0759.68078OpenAlexW2020589045MaRDI QIDQ1189730

Shahriar Zand-Biglari, James D. Baker

Publication date: 27 September 1992

Published in: Journal of Automated Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf00244284

zbMATH Keywords

integrationplanning

Mathematics Subject Classification ID

This page was built for publication: An integral theorem prover and the role of proof planning