id: 00782039
dt: a
an: 00782039
au: Parpucea, Ilie; Pârv, Bazil
ti: Symbolic computation with algebraic specifications.
so: Felea, V. (ed.) et al., Romanian symposium on computer science. 9th
    symposium, ROSYCS ’93, Iaşi, Romania, November 12-13, 1993.
    Proceedings. Iaşi: “A.I. Cuza" University of Iaşi, Dept. of
    Computer Science, 434-446 (1993).
py: 1993
pu: Iaşi: “A.I. Cuza" University of Iaşi, Dept. of Computer Science
la: EN
cc: 
ut: 
ci: 
li: