Հրապարակումներ
Հոդված
On Recurrent Neural Network Based Theorem Prover For First Order Minimal Logic
2021
1193-1202
Հոդված
On the Minimal Fragment of S5 Modal Logic
2021
7-12
Հոդված
On Machine Learning Powered Theorem Prover for Propositional Fragment of Minimal Logic
2020
135-142
Հոդված
On Some Systems of Propositional Minimal Logic with Loop Detection
2019
110-115
Արտոնագիր
Error Determination from Logs
2019