R.Gore, A.Leitsch, and T.Nipkow eds., Automated Reasoning
Instructing equational set-reasoning with Otter
FORMISANO, Andrea;
2001
Abstract
R.Gore, A.Leitsch, and T.Nipkow eds., Automated ReasoningFile 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.