Items where Author is Hajek, P.

Group by: Date | Item Type | Creators | No Grouping

Jump to: 2005

Number of items: 1.

2005

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

This list was generated on Wed Jun 19 19:59:20 2013 BST.

WestminsterResearch 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.