Automated theorem proving and logic programming: a natural symbiosis

DOI10.1016/0743-1066(91)90008-DzbMath0736.68072WikidataQ114262237 ScholiaQ114262237MaRDI QIDQ3978317

Larry Wos, William W. McCune

Publication date: 25 June 1992

Published in: The Journal of Logic Programming (Search for Journal in Brave)

zbMATH Keywords

logic programmingautomated theorem proving

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items (1)

A Survey of the Proof-Theoretic Foundations of Logic Programming

This page was built for publication: Automated theorem proving and logic programming: a natural symbiosis