A. Gorchakov

发表

Upper estimates for semi-invariants of the sum of multi-indexed random variables

A. Gorchakov, 1995 .

Automated First Order Natural Deduction

Alexander Bolotov, Vyacheslav Bocharov, Alexander Gorchakov, 2005, IICAI.