"On Recurrent Neural Network Based Theorem Prover For First Order Minimal ..."

Ashot Baghdasaryan, Hovhannes Bolibekyan (2021)

Details and statistics

DOI: 10.3897/JUCS.76563

access: open

type: Journal Article

metadata version: 2023-09-07