Colagrossi, A., Micarelli, A. (1997). A General Reasoning Apparatus for ITS in Mathematics. In Advances in Design of Symbolic Computation Systems (pp. 245-256). Springer.
File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.