Login / Signup
Vasilyi Shangin
ORCID
Publication Activity (10 Years)
Years Active: 2005-2021
Publications (10 Years): 2
Top Topics
Satisfiability Testing
Theorem Prover
Correspondence Analysis
Natural Deduction
Top Venues
J. Intell. Syst.
Logica Universalis
FLAP
COMPSAC
</>
Publications
</>