×

zbMATH — the first resource for mathematics

Found 181 Documents (Results 1–100)

100
MathJax
Yang, Syraya Chin-Mu (ed.) et al., Structural analysis of non-classical logics. The proceedings of the second Taiwan philosophical logic colloquium, TPLC 2014, Taipei, Taiwan, October 24–25, 2014. Berlin: Springer. Log. Asia: Stud. Log. Libr., 223-251 (2016).
MSC:  03B45 03B20 03F05
PDF BibTeX XML Cite
Full Text: DOI
Ju, Shier (ed.) et al., Modality, semantics and interpretations. The second Asian workshop on philosophical logic, Guangzhou, China, 2014. Berlin: Springer. Log. Asia: Stud. Log. Libr., 49-70 (2015).
MSC:  03B48 03B42
PDF BibTeX XML Cite
Full Text: DOI
Mossakowski, Till (ed.) et al., Recent trends in algebraic development techniques. 20th international workshop, WADT 2010, Etelsen, Germany, July 1–4, 2010. Revised selected papers. Berlin: Springer (ISBN 978-3-642-28411-3/pbk). Lecture Notes in Computer Science 7137, 61-75 (2012).
MSC:  03B45 03B70 68Q60
PDF BibTeX XML Cite
Full Text: DOI
Schewe, Klaus-Dieter (ed.) et al., Semantics in data and knowledge bases. 4th international workshops, SDKB 2010, Bordeaux, France, July 5, 2010. Revised selected papers. Berlin: Springer (ISBN 978-3-642-23440-8/pbk). Lecture Notes in Computer Science 6834, 114-133 (2011).
MSC:  68P15 03B70
PDF BibTeX XML Cite
Full Text: DOI
Liu, Weiru (ed.), Symbolic and quantitative approaches to reasoning with uncertainty. 11th European conference, ECSQARU 2011, Belfast, UK, June 29 – July 1, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22151-4/pbk). Lecture Notes in Computer Science 6717. Lecture Notes in Artificial Intelligence, 374-385 (2011).
MSC:  68T30 03B42 68T27
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

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