Automated first order natural deduction

Bolotov, Alexander and Bocharov, Vyacheslav and Gorchakov, Alexander and Shangin, Vasilyi (2005) Automated first order natural deduction. In: 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
Subjects: University of Westminster > Science and Technology > Electronics and Computer Science, School of (No longer in use)
Depositing User: Miss Nina Watts
Date Deposited: 19 Jun 2006
Last Modified: 14 Oct 2009 09:21
URI: http://westminsterresearch.wmin.ac.uk/id/eprint/2133

Actions (login required)

Edit Item (Repository staff only) Edit Item (Repository staff only)