Articles by Author

Author

Ashot Baghdasaryan

Russian-Armenian University
Yerevan, Armenia

1 article by this author

Sort by:

Research Article

On Recurrent Neural Network Based Theorem Prover For First Order Minimal Logic

Ashot Baghdasaryan, Hovhannes Bolibekyan

Part of: Challenges for Smart Environments - Human-Centered Computing, Data Science, and Ambient Intelligence I

10.3897/jucs.76563

28-11-2021

Unique: 1262 | Total: 2345

1193-1202

This website uses cookies in order to improve your web experience. Read our Cookies Policy

OK

Web Analytics