Inference Processes for Quantified Predicate Knowledge - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

J. B. Paris, S. R. Rad. Inference Processes for Quantified Predicate Knowledge. In Wilfrid Hodges, Ruy J. G. B. de Queiroz, editors, Logic, Language, Information and Computation, 15th International Workshop, WoLLIC 2008, Edinburgh, UK, July 1-4, 2008, Proceedings. Volume 5110 of Lecture Notes in Computer Science, pages 249-259, Springer, 2008. [doi]

This author has not been identified. Look up 'J. B. Paris' in GoogleThis author has not been identified. Look up 'S. R. Rad' in Google

runs on WebDSL