WestminsterResearch

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: Hajek, P. and Valdes-Villanueva, L. and Westerstahl, D., (eds.) 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
Research Community:University of Westminster > Electronics and Computer Science, School of
ID Code:488
Deposited On:22 Sep 2005
Last Modified:14 Oct 2009 10:22

Repository Staff Only: item control page