Algebraic methodology and software technology. 4th international conference, AMAST '95, Montreal, Canada, July 3--7, 1995. Proceedings

From MaRDI portal
Publication:1894637