ISSN: 0747-7171
Titolo: | Journal of Symbolic Computation, Special Issue on Integration of Automated Reasoning and Computer Algebra Systems |
Curatore/i di Ateneo: | |
Anno di pubblicazione: | 2002 |
Abstract: | ISSN: 0747-7171 |
Handle: | http://hdl.handle.net/11572/18464 |
Appare nelle tipologie: | 01.4 Edizione critica (Critical edition) |
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