Proving Ground Completeness of Resolution by Proof Planning (1997)

by Manfred Kerber , Arthur Christian Sehn
Citations:2 - 1 self

Document Versions

Proving Ground Completeness of Resolution by Proof Planning –Manfred Kerber, Arthur Christian Sehn — 1997
Proving Ground Completeness of Resolution by Proof Planning –Arthur C. Sehn, Manfred Kerber, Manfred Kerber, Arthur Christian Sehn — 1997
Proving Ground Completeness of Resolution by Proof Planning –Arthur C. Sehn, Manfred Kerber, Manfred Kerber, Arthur Christian Sehn — 1996 — In Proceedings of the loth Florida International AI Conference (FLAIRS-97