Proof-searching algorithm in first order classical natural deduction calculus

Bolotov, Alexander and Bocharov, Vyacheslav and Gorchakov, Alexander and Shangin, Vasilyi (2005) Proof-searching algorithm in first order classical natural deduction calculus. In: Logic, methodology and philosophy of science: proceedings of the twelfth international congress. King's College Publications. ISBN 9781904987215

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: Users 4 not found.
Date Deposited: 22 Sep 2005
Last Modified: 14 Oct 2009 09:22
URI: http://westminsterresearch.wmin.ac.uk/id/eprint/488

Actions (login required)

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