×

zbMATH — the first resource for mathematics

Found 2,769 Documents (Results 1–100)

100
MathJax
Barthe, Gilles (ed.) et al., Foundations of probabilistic programming. Cambridge: Cambridge University Press (ISBN 978-1-108-48851-8/hbk; 978-1-108-77075-0/ebook). 489-532 (2021).
MSC:  68N01
PDF BibTeX XML Cite
Full Text: DOI
Barthe, Gilles (ed.) et al., Foundations of probabilistic programming. Cambridge: Cambridge University Press (ISBN 978-1-108-48851-8/hbk; 978-1-108-77075-0/ebook). 449-488 (2021).
MSC:  68N01
PDF BibTeX XML Cite
Full Text: DOI
Barthe, Gilles (ed.) et al., Foundations of probabilistic programming. Cambridge: Cambridge University Press (ISBN 978-1-108-48851-8/hbk; 978-1-108-77075-0/ebook). 391-448 (2021).
MSC:  68N01
PDF BibTeX XML Cite
Full Text: DOI
Barthe, Gilles (ed.) et al., Foundations of probabilistic programming. Cambridge: Cambridge University Press (ISBN 978-1-108-48851-8/hbk; 978-1-108-77075-0/ebook). 361-390 (2021).
MSC:  68N01
PDF BibTeX XML Cite
Full Text: DOI
Barthe, Gilles (ed.) et al., Foundations of probabilistic programming. Cambridge: Cambridge University Press (ISBN 978-1-108-48851-8/hbk; 978-1-108-77075-0/ebook). 259-294 (2021).
MSC:  68N01
PDF BibTeX XML Cite
Full Text: DOI
Barthe, Gilles (ed.) et al., Foundations of probabilistic programming. Cambridge: Cambridge University Press (ISBN 978-1-108-48851-8/hbk; 978-1-108-77075-0/ebook). 221-258 (2021).
MSC:  68N01
PDF BibTeX XML Cite
Full Text: DOI
Barthe, Gilles (ed.) et al., Foundations of probabilistic programming. Cambridge: Cambridge University Press (ISBN 978-1-108-48851-8/hbk; 978-1-108-77075-0/ebook). 185-220 (2021).
MSC:  68N01
PDF BibTeX XML Cite
Full Text: DOI
Barthe, Gilles (ed.) et al., Foundations of probabilistic programming. Cambridge: Cambridge University Press (ISBN 978-1-108-48851-8/hbk; 978-1-108-77075-0/ebook). 121-144 (2021).
MSC:  68N01
PDF BibTeX XML Cite
Full Text: DOI
Barthe, Gilles (ed.) et al., Foundations of probabilistic programming. Cambridge: Cambridge University Press (ISBN 978-1-108-48851-8/hbk; 978-1-108-77075-0/ebook). 75-120 (2021).
MSC:  68N01
PDF BibTeX XML Cite
Full Text: DOI
Barthe, Gilles (ed.) et al., Foundations of probabilistic programming. Cambridge: Cambridge University Press (ISBN 978-1-108-48851-8/hbk; 978-1-108-77075-0/ebook). 43-74 (2021).
MSC:  68N01
PDF BibTeX XML Cite
Full Text: DOI
Barthe, Gilles (ed.) et al., Foundations of probabilistic programming. Cambridge: Cambridge University Press (ISBN 978-1-108-48851-8/hbk; 978-1-108-77075-0/ebook). 1-42 (2021).
MSC:  68N01
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8–11, 2020. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-7104-9). 454-464 (2020).
MSC:  03B70
PDF BibTeX XML Cite
Full Text: DOI
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, 545-555 (2020).
MSC:  68T37
PDF BibTeX XML Cite
Full Text: DOI
Hemmo, Meir (ed.) et al., Quantum, probability, logic. The work and influence of Itamar Pitowsky. Cham: Springer (ISBN 978-3-030-34315-6/hbk; 978-3-030-34316-3/ebook). Jerusalem Studies in Philosophy and History of Science, 375-397 (2020).
MSC:  03 81 60
PDF BibTeX XML Cite
Full Text: DOI
Hemmo, Meir (ed.) et al., Quantum, probability, logic. The work and influence of Itamar Pitowsky. Cham: Springer (ISBN 978-3-030-34315-6/hbk; 978-3-030-34316-3/ebook). Jerusalem Studies in Philosophy and History of Science, 1-17 (2020).
MSC:  03 81 60
PDF BibTeX XML Cite
Full Text: DOI
Berlin: De Gruyter (ISBN 978-3-11-061135-9/hbk; 978-3-11-061265-3/ebook). viii, 204 p. (2020).
PDF BibTeX XML Cite
Full Text: DOI
Jerusalem Studies in Philosophy and History of Science. Cham: Springer (ISBN 978-3-030-34315-6/hbk; 978-3-030-34316-3/ebook). xxii, 627 p. (2020).
PDF BibTeX XML Cite
Full Text: DOI
Başkent, Can (ed.) et al., Graham Priest on dialetheism and paraconsistency. Cham: Springer (ISBN 978-3-030-25364-6/hbk; 978-3-030-25365-3/ebook). Outstanding Contributions to Logic 18, 231-247 (2019).
MSC:  03A05
PDF BibTeX XML Cite
Full Text: DOI
Iemhoff, Rosalie (ed.) et al., Logic, language, information, and computation. 26th international workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2–5, 2019. Proceedings. Berlin: Springer (ISBN 978-3-662-59532-9/pbk; 978-3-662-59533-6/ebook). Lecture Notes in Computer Science 11541, 633-646 (2019).
MSC:  03B70
PDF BibTeX XML Cite
Full Text: DOI
Cornejo, María Eugenia (ed.) et al., Trends in mathematics and computational intelligence. Selected papers based on the presentations at the 9th European symposium on computational intelligence and mathematics, ESCIM 2017, Faro, Portugal, October 4–7, 2017. Cham: Springer. Stud. Comput. Intell. 796, 35-41 (2019).
MSC:  68T27 03B48
PDF BibTeX XML Cite
Full Text: DOI
Boca Raton, FL: CRC Press (ISBN 978-0-8153-7848-8/hbk; 978-1-351-01913-2/ebook). xvi, 518 p. (2019).
MSC:  68-01 68R01
PDF BibTeX XML Cite
Full Text: Link
Proceedings of the 2018 33rd annual ACM/IEEE symposium on logic in computer science, LICS 2018, Oxford, UK, July 9–12, 2018. New York, NY: Association for Computing Machinery (ACM). 710-719 (2018).
MSC:  03B45 03B48
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 2018 33rd annual ACM/IEEE symposium on logic in computer science, LICS 2018, Oxford, UK, July 9–12, 2018. New York, NY: Association for Computing Machinery (ACM). 679-688 (2018).
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
all top 3
Software