Statistics
Publications
1
Citations
19
H-Index
1
Active since
2005
Vyacheslav Bocharov is an author specializing in automated reasoning with constraints, proof automation, and theorem proving.
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