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]

Last update Wed May 30 22:34:44 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page