Algebraic methodology and software technology. 8th international conference, selected papers from AMAST 2000, Iowa City, Iowa, USA, May 20--27, 2000
The articles of this volume will be reviewed individually.
scientific article; zbMATH DE number 1873789