Vol-4275⫷ Vol-4276 ⫸Vol-4277
urn:nbn:de:0074-4276-0


Vol-4276/paper3⫷Vol-4276/poster3⫸Vol-4276/paper4
Sandro PretoMarcelo Finger

Neural Networks into Łukasiewicz Logic, with Applications to Formal Verification