Problem corner: Predicate logic hacker tricks

zbMath0616.68078MaRDI QIDQ1821567

Hans Jürgen Ohlbach

Publication date: 1985

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

zbMATH Keywords

logic programmingautomated theorem proving

Mathematics Subject Classification ID

Related Items (1)

Computing answers with model elimination

This page was built for publication: Problem corner: Predicate logic hacker tricks