Login / Signup
Alexey B. Zhizhchenko
Publication Activity (10 Years)
Years Active: 2000-2013
Publications (10 Years): 0
Top Topics
Computer Software
St Century
Theorem Prover
Mathematical Knowledge
Top Venues
MKM/Calculemus/DML
CoRR
</>
Publications
</>