Automated deduction by connection method in an object-oriented environment

MaRDI QIDQ4362906zbMATH OpenFDO

Authors Gianna Cioni, Giacomo Patrizi, Marco Temperini

Publication date 17 March 1998

zbMATH Keywords

object-oriented programming

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30)

Cited in

(1)

• On Automation of OTS/CafeOBJ Method

This page was built for publication: Automated deduction by connection method in an object-oriented environment

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4362906)