| Login | Create Account |
Items where Author is Gorchakov, Alexander
Number of items: 3.
2005Bolotov, 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 Bolotov, Alexander and Bocharov, Vyacheslav and Gorchakov, Alexander and Shangin, Vasilyi (2005) Automated first order natural deduction. In: Prasad, Bhanu, (ed.) Proceedings of the 2nd Indian International Conference on Artificial Intelligence, Pune, India, December 20-22, 2005. IICAI 2005. ISCAI, pp. 1292-1311. ISBN 0972741216 2004Bolotov, Alexander and Bocharov, Vyacheslav and Gorchakov, Alexander and Makarov, V. and Shangin, Vasilyi (2004) Let the computer prove it. Logis and Computer, 5 . Nauka, Moscow, Russia. ISBN 5020328596 |
