Login / Signup
Tanzilia Cherkasova
Publication Activity (10 Years)
Years Active: 2013-2013
Publications (10 Years): 0
Top Topics
Theorem Prover
Probabilistic Reasoning
Automated Reasoning
Markov Logic Networks
Top Venues
KESW
</>
Publications
</>
Vladimir Pavlov
,
Alexander Schukin
,
Tanzilia Cherkasova
Exploring Automated Reasoning in First-Order Logic: Tools, Techniques and Application Areas.
KESW
(2013)