Map calculus: a link between algebraic specification and first order theorem proving / Formisano, A.; Omodeo, E.; Temperini, Marco. - SI-98/11:(1998).
Map calculus: a link between algebraic specification and first order theorem proving
TEMPERINI, Marco
1998
File allegati a 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.