Vyacheslav Bocharov

	2005
1		Alexander Bolotov, Vyacheslav Bocharov, Alexander Gorchakov, Vasilyi Shangin: Automated First Order Natural Deduction. IICAI 2005: 1292-1311

Coauthor Index

1	Alexander Bolotov	[1]
2	Alexander Gorchakov	[1]
3	Vasilyi Shangin	[1]