Alexander Gorchakov

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

Coauthor Index

1	Vyacheslav Bocharov	[1]
2	Alexander Bolotov	[1]
3	Vasilyi Shangin	[1]