×

zbMATH — the first resource for mathematics

Found 16 Documents (Results 1–16)

100
MathJax
Johnson, Michael (ed.), Algebraic methodology and software technology. 6th international conference, AMAST ’97, Sidney, Australia, December 13–17, 1997. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1349, 91-107 (1997).
MSC:  03B70 68Q65 08A70
PDF BibTeX XML Cite
The unified computation laboratory: modelling, specifications, and tools, Proc. Conf., Stirling/UK 1990, Inst. Math. Appl. Conf. Ser., New Ser. 35, 85-100 (1992).
PDF BibTeX XML Cite