A Parallel Connection Graph Proof Procedure - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Günter Hornung, Anfried Knapp, Ulrike Knapp. A Parallel Connection Graph Proof Procedure. In Jörg H. Siekmann, editor, GWAI-81, German Workshop on Artificial Intelligence, Bad Honnef, January 26-31, 1981, Proceedings. Volume 47 of Informatik-Fachberichte, pages 160-167, Springer, 1981.

This author has not been identified. Look up 'Günter Hornung' in GoogleThis author has not been identified. Look up 'Anfried Knapp' in GoogleThis author has not been identified. Look up 'Ulrike Knapp' in Google

runs on WebDSL