WestminsterResearch will not be accepting deposits until 9th March 2015. This is to allow for a system upgrade and server migration.

Automated first order natural deduction

Bolotov, Alexander and Bocharov, Vyacheslav and Gorchakov, Alexander and Shangin, Vasilyi (2005) Automated first order natural deduction. In: Prasad, Bhanu, (ed.) Proceedings of the 2nd Indian International Conference on Artificial Intelligence, Pune, India, December 20-22, 2005. IICAI 2005. ISCAI, pp. 1292-1311. ISBN 0972741216

Full text not available from this repository.

Item Type:Book Section
Research Community:University of Westminster > Electronics and Computer Science, School of
ID Code:2133
Deposited On:19 Jun 2006
Last Modified:14 Oct 2009 10:21

Repository Staff Only: item control page