×

zbMATH — the first resource for mathematics

Found 3,682 Documents (Results 1–100)

100
MathJax
Herzig, Andreas (ed.) et al., Foundations of information and knowledge systems. 11th international symposium, FoIKS 2020, Dortmund, Germany, February 17–21, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12012, 157-174 (2020).
PDF BibTeX Cite
Full Text: DOI
De Gruyter Studium. Berlin: De Gruyter (ISBN 978-3-11-069714-8/pbk; 978-3-11-069739-1/ebook). xii, 435 p. (2020).
MSC:  03-01 03B05 03B10
PDF BibTeX Cite
Full Text: DOI
Soares Barbosa, Luís (ed.) et al., Dynamic logic. New trends and applications. Second international workshop, DALI 2019, Porto, Portugal, October 7–11, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12005, 155-170 (2020).
MSC:  03B70
PDF BibTeX Cite
Full Text: DOI
Wille, Matthias (ed.), Fregesche Variationen. Essays zu Ehren von Christian Thiel. Münster: Mentis Verlag. 129-167 (2020).
PDF BibTeX Cite
Mras, Gabriele M. (ed.) et al., Philosophy of logic and mathematics. Proceedings of the 41st international Ludwig Wittgenstein symposium. Berlin: De Gruyter. Publ. Austrian Ludwig Wittgenstein Soc. New Ser. 27, 385-395 (2019).
PDF BibTeX Cite
Full Text: DOI
Mras, Gabriele M. (ed.) et al., Philosophy of logic and mathematics. Proceedings of the 41st international Ludwig Wittgenstein symposium. Berlin: De Gruyter. Publ. Austrian Ludwig Wittgenstein Soc. New Ser. 27, 37-53 (2019).
PDF BibTeX Cite
Full Text: DOI
Cerrito, Serenella (ed.) et al., Automated reasoning with analytic tableaux and related methods. 28th international conference, TABLEAUX 2019, London, UK, September 3–5, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11714, 58-73 (2019).
MSC:  68V15 03B05 68R07
PDF BibTeX Cite
Full Text: DOI
Wiesbaden: Springer Vieweg (ISBN 978-3-658-25808-5/pbk; 978-3-658-25809-2/ebook). xii, 426 p. (2019).
PDF BibTeX Cite
Full Text: DOI
Calimeri, Francesco (ed.) et al., Logics in artificial intelligence. 16th European conference, JELIA 2019, Rende, Italy, May 7–11, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11468, 744-759 (2019).
MSC:  68T27
PDF BibTeX Cite
Full Text: DOI
Matematiche Complementari 13. Rome: Aracne Editrice (ISBN 978-88-255-1761-3). 412 p. (2019).
MSC:  03-01 03B05 03B10
PDF BibTeX Cite

Filter Results by …

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