×

zbMATH — the first resource for mathematics

Found 5 Documents (Results 1–5)

100
MathJax
Kennedy, Juliette (ed.) et al., Logic, language, information, and computation. 24th international workshop, WoLLIC 2017, London, UK, July 18–21, 2017. Proceedings. Berlin: Springer (ISBN 978-3-662-55385-5/pbk; 978-3-662-55386-2/ebook). Lecture Notes in Computer Science 10388, 371-386 (2017).
MSC:  03B70
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

Document Type
Reviewing State
Year of Publication
Classification
all top 3
Software