×

zbMATH — the first resource for mathematics

Found 16 Documents (Results 1–16)

100
MathJax
Faber, Wolfgang (ed.) et al., Reasoning web. Web logic rules. 11th international summer school 2015, Berlin, Germany, July 31 – August 4, 2015. Tutorial lectures. Cham: Springer (ISBN 978-3-319-21767-3/pbk; 978-3-319-21768-0/ebook). Lecture Notes in Computer Science 9203, 32-74 (2015).
MSC:  68T27 03B35 03B45 68T15
PDF BibTeX XML Cite
Full Text: DOI
Beklemishev, Lev D. (ed.) et al., Computer science – theory and applications. 10th international computer science symposium in Russia, CSR 2015, Listvyanka, Russia, July 13–17, 2015. Proceedings. Cham: Springer (ISBN 978-3-319-20296-9/pbk; 978-3-319-20297-6/ebook). Lecture Notes in Computer Science 9139, 398-411 (2015).
MSC:  68Qxx
PDF BibTeX XML Cite
Full Text: DOI
Blackburn, Patrick (ed.) et al., Proceedings of the international workshop on hybrid logic (HyLo 2006), Seattle, WA, USA, August 11, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 174, No. 6, 15-27 (2007).
MSC:  03B45 03B40
PDF BibTeX XML Cite
Full Text: DOI