Wang, Yingxu; Yao, Yiyu; Wang, Guoyin Perspectives on denotational mathematics: New means of thought. (English) Zbl 1154.68459 Gavrilova, Marina L. (ed.) et al., Transactions on Computational Science II. Berlin: Springer (ISBN 978-3-540-87562-8/pbk). Lecture Notes in Computer Science 5150. Journal Subline, 1-5 (2008). MSC: 68T01 PDFBibTeX XMLCite \textit{Y. Wang} et al., Lect. Notes Comput. Sci. 5150, 1--5 (2008; Zbl 1154.68459) Full Text: DOI
Gavrilova, Marina L. (ed.); Tan, C. J. Kenneth (ed.); Wang, Yingxu (ed.); Yao, Yiyu (ed.); Wang, Guoyin (ed.) Transactions on Computational Science II. (English) Zbl 1154.68307 Lecture Notes in Computer Science 5150. Journal Subline. Berlin: Springer (ISBN 978-3-540-87562-8/pbk). xi, 247 p. (2008). MSC: 68-06 00B15 PDFBibTeX XMLCite \textit{M. L. Gavrilova} (ed.) et al., Transactions on Computational Science II. Berlin: Springer (2008; Zbl 1154.68307) Full Text: DOI