Statistics
Publications
8
Citations
119
H-Index
8
Active since
2005
Affiliations
Vasilyi Shangin is an author at Lomonosov Moscow State University specializing in logic, computing, and computer science.
Publications per year
2005–2019
8
8
Socratic Proofs for Quantifiers★
Andrzej Wiśniewski, Vasilyi Shangin · Journal of Philosophical Logic · 2006 · 19 citations
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 8