Extensions to logic programming motivated by the construction of a generic theorem prover

DOI10.1007/BFb0038696zbMath1502.68066MaRDI QIDQ5053009

Elsa L. Gunter

Publication date: 26 November 2022

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

Mathematics Subject Classification ID

Logic programming (68N17) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

This page was built for publication: Extensions to logic programming motivated by the construction of a generic theorem prover