Vol-4229⫷ Vol-4230 ⫸Vol-4231
urn:nbn:de:0074-4230-0


Vol-4230/dl-paper17⫷Vol-4230/dl-paper20⫸Vol-4230/dl-paper22
Gianluca CimaMarco ConsoleLaura Papi

Formal Reasoning with Learned Predicates (Extended Abstract)