Statistics
Publications
1
Citations
19
H-Index
1
Active since
2005
A. Yu. Gorchakov is an author specializing in first-order logic reasoning, automated theorem proving, and automated reasoning with constraints.
Publications per year
2005–2005
1
1
Automated first order natural deduction
Alexander Bolotov, Vyacheslav Bocharov, A. Yu. Gorchakov et al. · WestminsterResearch (University of Westminster) · 2005 · 19 citations · Full text
1–1 of 1