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

Items where Author is Valdes-Villanueva, L.

Up a level
Export as [feed] RSS 2.0 [feed] RSS 1.0 [feed] RSSPD [feed] Atom
Group by: Date | Item Type | Creators | No Grouping
Number of items: 1.

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 Fri Mar 6 18:20:22 2015 GMT.