Login / Signup
Hovhannes Bolibekyan
Publication Activity (10 Years)
Years Active: 2021-2021
Publications (10 Years): 1
Top Topics
Computer Algebra Systems
Sequent Calculus
Proof Search
General Logic Programs
Top Venues
J. Univers. Comput. Sci.
</>
Publications
</>
Ashot Baghdasaryan
,
Hovhannes Bolibekyan
On Recurrent Neural Network Based Theorem Prover For First Order Minimal Logic.
J. Univers. Comput. Sci.
27 (11) (2021)