Logical basis for the automation of reasoning: Case studies - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Larry Wos, Robert Veroff. Logical basis for the automation of reasoning: Case studies. In Dov M. Gabbay, Christopher J. Hogger, J. A. Robinson, Jörg H. Siekmann, editors, Handbook of Logic in Artificial Intelligence and Logic Programming, Volume2, Deduction Methodologies. pages 1-40, Oxford University Press, 1994.

This author has not been identified. Look up 'Larry Wos' in GoogleThis author has not been identified. Look up 'Robert Veroff' in Google

runs on WebDSL