Theorem Proving Applications for QU-Prolog - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Peter J. Robinson, John Staples, Anthony S. K. Cheng. Theorem Proving Applications for QU-Prolog. In Roy Dyckhoff, Lars-Henrik Eriksson, Alberto Momigliano, Mario Ornaghi, editors, ICLP 1994, Workshop W10: Proof-Theoretical Extensions on Logic Programming, Santa Margherita Ligure, Italy, June 1994. 1994.

This author has not been identified. Look up 'Peter J. Robinson' in GoogleThis author has not been identified. Look up 'John Staples' in GoogleThis author has not been identified. Look up 'Anthony S. K. Cheng' in Google

runs on WebDSL