×

zbMATH — the first resource for mathematics

Found 4 Documents (Results 1–4)

100
MathJax
Shanghai: Shanghai Jiao Tong University Press; Heidelberg: Springer (ISBN 978-3-662-45197-7/hbk; 978-3-662-45198-4/ebook). xiv, 249 p. (2014).
PDF BibTeX XML Cite
Full Text: DOI
Nielsen, Mogens (ed.) et al., Computer science logic. 11th international workshop, CSL ’97. Annual conference of the EACSL, Aarhus, Denmark, August 23–29, 1997. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1414, 239-254 (1998).
PDF BibTeX XML Cite

Filter Results by …

Document Type
Year of Publication
Classification
Software