Two Parallel Versions of the Connection Method for Propositional Logic on the L-Machine - researchr publication

researchr

You are not signed in
Sign in
Sign up

K. Aspetsberger, Stefan Bayerl. Two Parallel Versions of the Connection Method for Propositional Logic on the L-Machine. In Herbert Stoyan, editor, GWAI-85, 9th German Workshop on Artificial Intelligence, Dassel/Solling, September 23-27, 1985, Proceedings. Volume 118 of Informatik-Fachberichte, pages 46-55, Springer, 1985.

Abstract is missing.

runs on WebDSL