Higher-Order and Symbolic Computation > 2009 > 22 > 2 > 145-154
Źródło
Abstrakt
Identyfikatory
ISSN czasopisma : | 1388-3690 |
e-ISSN czasopisma : | 1573-0557 |
DOI | 10.1007/s10990-009-9046-8 |
Higher-Order and Symbolic Computation > 2009 > 22 > 2 > 145-154
ISSN czasopisma : | 1388-3690 |
e-ISSN czasopisma : | 1573-0557 |
DOI | 10.1007/s10990-009-9046-8 |