Advances in the design of symbolic computation systems

Table of Contents: “…. -- Equational specifications: design, implementation, and reasoning. -- On the algebraic specification of classes and inheritance in object-oriented programming. -- On subtyping in languages for symbolic computation systems. -- Enhanced strict inheritance in TASSO-L. -- Reasoning capabilities. -- Deduction and abduction using a sequent calculus. -- A sequent calculus machine for symbolic computation systems. -- Automated deduction by connection method in an object-oriented environment. -- A general reasoning apparatus for intelligent tutoring systems in mathematics.…”