Approach to the Extension of a Theorem Prover by Advanced Structuring Mechanisms

Paperback