Embedding Proof Problems into Query-answering Problems and Problem Solving by Equivalent Transformation - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Kiyoshi Akama, Ekawit Nantajeewarawat. Embedding Proof Problems into Query-answering Problems and Problem Solving by Equivalent Transformation. In Joaquim Filipe, Jan L. G. Dietz, editors, KEOD 2013 - Proceedings of the International Conference on Knowledge Engineering and Ontology Development, Vilamoura, Algarve, Portugal, 19-22 September, 2013. pages 253-260, SciTePress, 2013. [doi]

This author has not been identified. Look up 'Kiyoshi Akama' in GoogleThis author has not been identified. Look up 'Ekawit Nantajeewarawat' in Google

runs on WebDSL