×

zbMATH — the first resource for mathematics

Found 1,098 Documents (Results 1–100)

100
MathJax
Kosheleva, Olga (ed.) et al., Beyond traditional probabilistic data processing techniques: interval, fuzzy etc. methods and their applications. Dedicated to Vladik Kreinovich on the occasion of his 65th birthday. Cham: Springer (ISBN 978-3-030-31040-0/hbk; 978-3-030-31043-1/pbk; 978-3-030-31041-7/ebook). Studies in Computational Intelligence 835, 9-19 (2020).
MSC:  68T37 03F60 26A15
PDF BibTeX XML Cite
Full Text: DOI
Studies in Computational Intelligence 835. Cham: Springer (ISBN 978-3-030-31040-0/hbk; 978-3-030-31041-7/ebook). xi, 649 p. (2020).
PDF BibTeX XML Cite
Full Text: DOI
Pure and Applied Undergraduate Texts 38. Providence, RI: American Mathematical Society (AMS) (ISBN 978-1-4704-5144-8/hbk; 978-1-4704-5289-6/ebook). xvi, 302 p. (2019).
MSC:  26-01 03F60 26E40
PDF BibTeX XML Cite
Proceedings of the 2017 32nd annual ACM/IEEE symposium on logic in computer science, LICS 2017, Reykjavík University, Reykjavík, Iceland, June 20–23, 2017. Piscataway, NJ: IEEE Press. Article No. 59, 12 p. (2017).
PDF BibTeX XML Cite
Full Text: Link
Goranko, Valentin (ed.) et al., 26th EACSL annual conference on computer science logic, CSL 2017, Stockholm, Sweden, August 20–24, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 82, Article 21, 16 p. (2017).
MSC:  03B38 03D20 03F60
PDF BibTeX XML Cite
Full Text: DOI
Goranko, Valentin (ed.) et al., 26th EACSL annual conference on computer science logic, CSL 2017, Stockholm, Sweden, August 20–24, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 82, Article 16, 17 p. (2017).
PDF BibTeX XML Cite
Full Text: DOI
Day, Adam (ed.) et al., Computability and complexity. Essays dedicated to Rodney G. Downey on the occasion of his 60th birthday. Cham: Springer (ISBN 978-3-319-50061-4/pbk; 978-3-319-50062-1/ebook). Lecture Notes in Computer Science 10010, 188-200 (2017).
PDF BibTeX XML Cite
Full Text: DOI
Probst, Dieter (ed.) et al., Concepts of proof in mathematics, philosophy, and computer science. Based on the Humboldt-Kolleg, Bern, Switzerland, September 9–13, 2013. Ontos Mathematical Logic 6. Berlin: De Gruyter. 69-110 (2016).
PDF BibTeX XML Cite
Full Text: DOI
Cégielski, Patrick (ed.) et al., Studies in weak arithmetics. Volume 3. Papers based on the conference “Journées sur les Arithmétiques Faibles (Weak Arithmetics Days)” (JAF33), University of Gothenburg, Gothenburg, Sweden, June 16–18, 2014 and the conference (JAF34), CUNY, New York, NY, USA, July 7–9, 2015. Stanford, CA: CSLI Publications. CSLI Lect. Notes 217, 171-229 (2016).
MSC:  03F60 28A12 28A20
PDF BibTeX XML Cite
Proceedings of the 2016 31st annual ACM/IEEE symposium on logic in computer science, LICS 2016, New York City, NY, USA, July 5–8, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4391-6). 605-614 (2016).
MSC:  03F60
PDF BibTeX XML Cite
Full Text: DOI
Regnier, Laurent (ed.) et al., 25th EACSL annual conference and 30th workshop on computer science logic, CSL’16, Marseille, France, August 29 – September 1, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-022-4). LIPIcs – Leibniz International Proceedings in Informatics 62, Article 26, 21 p. (2016).
PDF BibTeX XML Cite
Full Text: DOI
Perspectives in Logic. Cambridge: Cambridge University Press; Urbana, IL: Association for Symbolic Logic (ASL) (ISBN 978-1-107-16844-2/hbk; 978-1-316-71732-5/ebook). x, 206 p. (2016).
PDF BibTeX XML Cite
Full Text: DOI
Darmstadt: TU Darmstadt, Fachbereich Mathematik (Diss.). 142 p. (2016).
PDF BibTeX XML Cite
Full Text: Link Link
Altenkirch, Thorsten (ed.), 13th international conference on typed lambda calculi and applications, TLCA’15, Warsaw, Poland, July 1–3, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 38, 153-164 (2015).
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