Vol-256⫷ Vol-257 ⫸Vol-258
urn:nbn:de:0074-257-0


Vol-257/paper-3⫷Vol-257/paper-4⫸Vol-257/paper-5

MaLARea: a Metasystem for Automated Reasoning in Large Theories