Vol-4115⫷ Vol-4116 ⫸Vol-4117
urn:nbn:de:0074-4116-0


Vol-4116/invited1⫷Vol-4116/invited2⫸Vol-4116/paper114
Martin SudaFilip Bártek

Boosting Vampire with Neural Networks