Higher-Order and Symbolic Computation > 2009 > 22 > 4 > 315-329
Source
Abstract
Identifiers
journal ISSN : | 1388-3690 |
journal e-ISSN : | 1573-0557 |
DOI | 10.1007/s10990-010-9057-5 |
Higher-Order and Symbolic Computation > 2009 > 22 > 4 > 315-329
journal ISSN : | 1388-3690 |
journal e-ISSN : | 1573-0557 |
DOI | 10.1007/s10990-010-9057-5 |