TY  - GEN
AU  - Jensen, Anton
TI  - Computation with terms
PY  - 1988///
CY  - Kobenhavns
PB  - Universitet Kobenhavns
N1  - Cartea este multigrafiata; Cuprinde bibliografie
ER  -