Statistics
Publications
10
Citations
238
H-Index
10
Active since
1998
Affiliations
Alexander Bolotov is an author at University of Westminster specializing in computing, computer science, and logic.
Publications per year
1998–2019
10
10
Automated first order natural deduction
Alexander Bolotov, Vyacheslav Bocharov, A. Yu. Gorchakov et al. · WestminsterResearch (University of Westminster) · 2005 · 19 citations · Full text
1–5 of 10