×

zbMATH — the first resource for mathematics

Found 768 Documents (Results 1–100)

100
MathJax
Calimeri, Francesco (ed.) et al., Logics in artificial intelligence. 16th European conference, JELIA 2019, Rende, Italy, May 7–11, 2019. Proceedings. Cham: Springer (ISBN 978-3-030-19569-4/pbk; 978-3-030-19570-0/ebook). Lecture Notes in Computer Science 11468. Lecture Notes in Artificial Intelligence, 304-320 (2019).
MSC:  68T27
PDF BibTeX XML Cite
Full Text: DOI
Diakonikolas, Ilias (ed.) et al., Proceedings of the 50th annual ACM SIGACT symposium on theory of computing, STOC ’18, Los Angeles, CA, USA, June 25–29, 2018. New York, NY: Association for Computing Machinery (ACM). 735-748 (2018).
MSC:  68W20 62G10
PDF BibTeX XML Cite
Full Text: DOI arXiv
Hamburg: tredition (ISBN 978-3-7439-7215-5/pbk; 978-3-7439-7216-2/hbk). 224 p. (2018).
PDF BibTeX XML Cite
Monographs on Statistics and Applied Probability 161. Boca Raton, FL: CRC Press (ISBN 978-1-4987-0447-2/hbk; 978-1-4987-0448-9/ebook). xxi, 283 p. (2018).
PDF BibTeX XML Cite
Full Text: Link
Mouhoub, Malek (ed.) et al., Advances in artificial intelligence. 30th Canadian conference on artificial intelligence, Canadian AI 2017, Edmonton, AB, Canada, May 16–19, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10233, 329-334 (2017).
MSC:  68T07 62H22
PDF BibTeX XML Cite
Full Text: DOI
Bonchi, Filippo (ed.) et al., 7th conference on algebra and coalgebra in computer science, CALCO 2017, June 14–16, 2017, Ljubljana, Slovenia. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 72, Article 1, 6 p. (2017).
PDF BibTeX XML Cite
Full Text: DOI
Grundstudium Mathematik. Cham: Birkhäuser/Springer (ISBN 978-3-319-57594-0/pbk; 978-3-319-57595-7/ebook). xiii, 383 p. (2017).
PDF BibTeX XML Cite
Full Text: DOI
Bigatti, Anna M. (ed.) et al., Computations and combinatorics in commutative algebra. EACA school, Valladolid, Spain, 2013. Cham: Springer (ISBN 978-3-319-51318-8/pbk; 978-3-319-51319-5/ebook). Lecture Notes in Mathematics 2176, 41-75 (2017).
PDF BibTeX XML Cite
Full Text: DOI

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
Biographic Reference
all top 3
Software