Axiomatic and Tableau-Based Reasoning for Kt(H,R) Renate A. Schmidt 1 School of Computer Science University of Manchester, Manchester, UK - AIML - Document - PDFSEARCH.IO

First Page	Meta Content
	Axiomatic and Tableau-Based Reasoning for Kt(H,R) Renate A. Schmidt 1 School of Computer Science University of Manchester, Manchester, UK Add to Reading List Document Date: 2014-09-20 05:24:50 Open Document File Size: 463,02 KB Share Result on Facebook

Axiomatic and Tableau-Based Reasoning for Kt(H,R) Renate A. Schmidt 1 School of Computer Science University of Manchester, Manchester, UKAdd to Reading List