Vol-4038⫷ Vol-4039 ⫸Vol-4040
urn:nbn:de:0074-4039-0


Vol-4039/paper26⫷Vol-4039/paper18⫸Vol-4039/paper04
Gianluca AmatoNicola BalestraMarco MaggesiMaurizio Parton

Recurrent Neural Networks for Guiding Proof Search in Propositional Logic