1 - Gröbner bases : a computational approach to commutative algebra
Becker, Thomas   /   Weispfenning, Volker B. (1944-....)   /   Kredez, Heinz (Collab.)

Cote : [16.5 BEC 93]

2 - Model theory and algebra : a memorial tribute to Abraham Robinson
Saracino, Daniel H. (1947-....) (Ed.)   /   Weispfenning, Volker B. (1944-....) (Ed.)   /   Robinson, Abraham (1918-1974) (Dedic.)

Cote : [05 SAR 75]