Higher-Order and Symbolic Computation > 2000 > 13 > 1-2 > 77-81
Source
Abstract
Identifiers
journal ISSN : | 1388-3690 |
journal e-ISSN : | 1573-0557 |
DOI | 10.1023/A:1010010009897 |
Higher-Order and Symbolic Computation > 2000 > 13 > 1-2 > 77-81
journal ISSN : | 1388-3690 |
journal e-ISSN : | 1573-0557 |
DOI | 10.1023/A:1010010009897 |