Հրապարակումներ
Հոդված
On Recurrent Neural Network Based Theorem Prover For First Order Minimal Logic
Հոդված
On Machine Learning Powered Theorem Prover for Propositional Fragment of Minimal Logic
Հոդված
On Some Systems of Propositional Minimal Logic with Loop Detection
Արտոնագիր
Error Determination from Logs
