×

zbMATH — the first resource for mathematics

Found 5 Documents (Results 1–5)

100
MathJax
Liao, Beishui (ed.) et al., Dynamics, uncertainty and reasoning. Selected papers of the second Chinese conference on logic and argumentation (CLAR 2018), Hangzhou, China, June 16–17, 2018. Singapore: Springer (ISBN 978-981-13-7790-7/hbk; 978-981-13-7793-8/pbk; 978-981-13-7791-4/ebook). Logic in Asia: Studia Logica Library, 187-207 (2019).
MSC:  03-06
PDF BibTeX XML Cite
Full Text: DOI
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
De Nivelle, Hans (ed.), Automated reasoning with analytic tableaux and related methods. 24th international conference, TABLEAUX 2015, Wrocław, Poland, September 21–24, 2015. Proceedings. Cham: Springer (ISBN 978-3-319-24311-5/pbk; 978-3-319-24312-2/ebook). Lecture Notes in Computer Science 9323. Lecture Notes in Artificial Intelligence., 213-220 (2015).
MSC:  68T15
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

Document Type
Reviewing State
Year of Publication
Classification