Vol-372⫷ Vol-373 ⫸Vol-374
urn:nbn:de:0074-373-0


Vol-373/paper-6⫷Vol-373/paper-7⫸Vol-373/paper-8
João Marcos 0001Dalmo Mendonca

Towards Fully Automated Axiom Extraction for Finite-Valued Logics