Using Symbolic Computation in an Automated Sequent Derivation System for Multi-valued Logic.

Elena Smirnova

Browse the full AISC paper archive.