	RSS 1.0
	RSS 2.0
	Atom

Home > Research > EPrints

Resolution Theorem Proving in Reified Model Logics

Aitken, J., Reichgelt, H. and Shadbolt, N. R. (1994) Resolution Theorem Proving in Reified Model Logics. Journal of Automated Reasoning, 12, 103-129.

Full text not available from this repository.

Item Type:	Article
Divisions:	Faculty of Physical and Applied Science > Electronics and Computer Science > Web & Internet Science
ePrint ID:	252303
Deposited On:	20 Jan 2000
Last Modified:	02 Mar 2012 12:19
Further Information:	Google Scholar

Associated Staff Only: edit my ePrint

ePrints Soton supports OAI 2.0 with a base URL of http://eprints.soton.ac.uk/cgi/oai2
ePrints Soton is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.