Vol-3376⫷ Vol-3377 ⫸Vol-3378
urn:nbn:de:0074-3377-0


Vol-3377/dp2⫷Vol-3377/dp3⫸Vol-3377/dp4
Stanislaw J. Purgal

Deep Learning for Automated Theorem Proving - Extended Abstract