×

zbMATH — the first resource for mathematics

Found 1,316 Documents (Results 1–100)

100
MathJax
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
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). 370-383 (2020).
MSC:  03B70
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). 327-340 (2020).
MSC:  03B70
PDF BibTeX XML Cite
Full Text: DOI
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 (ISBN 978-3-030-39950-4/pbk; 978-3-030-39951-1/ebook). Lecture Notes in Computer Science 12012, 122-139 (2020).
PDF BibTeX XML Cite
Full Text: DOI
Manna, Santanu (ed.) et al., Mathematical modelling and scientific computing with applications. Proceedings of the international conference, ICMMSC 2018, Indore, India, July 19–21, 2018. Singapore: Springer. Springer Proc. Math. Stat. 308, 315-324 (2020).
PDF BibTeX XML Cite
Full Text: DOI
Lutz, Carsten (ed.) et al., Description logic, theory combination, and all that. Essays dedicated to Franz Baader on the occasion of his 60th birthday. Cham: Springer. Lect. Notes Comput. Sci. 11560, 588-609 (2019).
MSC:  68T27 68T30
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, 433-449 (2019).
MSC:  03B70
PDF BibTeX XML Cite
Full Text: DOI
Kern-Isberner, Gabriele (ed.) et al., Symbolic and quantitative approaches to reasoning with uncertainty. 15th European conference, ECSQARU 2019, Belgrade, Serbia, September 18–20, 2019. Proceedings. Cham: Springer (ISBN 978-3-030-29764-0/pbk; 978-3-030-29765-7/ebook). Lecture Notes in Computer Science 11726. Lecture Notes in Artificial Intelligence, 397-407 (2019).
MSC:  68T37
PDF BibTeX XML Cite
Full Text: DOI
Kern-Isberner, Gabriele (ed.) et al., Symbolic and quantitative approaches to reasoning with uncertainty. 15th European conference, ECSQARU 2019, Belgrade, Serbia, September 18–20, 2019. Proceedings. Cham: Springer (ISBN 978-3-030-29764-0/pbk; 978-3-030-29765-7/ebook). Lecture Notes in Computer Science 11726. Lecture Notes in Artificial Intelligence, 385-396 (2019).
MSC:  68T37
PDF BibTeX XML 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 (ISBN 978-3-030-19569-4/pbk; 978-3-030-19570-0/ebook). Lecture Notes in Computer Science 11468. Lecture Notes in Artificial Intelligence, 434-449 (2019).
MSC:  68T27
PDF BibTeX XML 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 (ISBN 978-3-030-19569-4/pbk; 978-3-030-19570-0/ebook). Lecture Notes in Computer Science 11468. Lecture Notes in Artificial Intelligence, 399-417 (2019).
MSC:  68T27
PDF BibTeX XML 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 (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
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
Khan, Md. Aquil (ed.) et al., Logic and its applications. 8th Indian conference, ICLA 2019, Delhi, India, March 1–5, 2019. Proceedings. Berlin: Springer (ISBN 978-3-662-58770-6/pbk; 978-3-662-58771-3/ebook). Lecture Notes in Computer Science 11600, 52-63 (2019).
MSC:  03Bxx 68T27
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 22nd ACM international conference on hybrid systems: computation and control, HSCC 2019, Montreal, Quebec, Canada, April 16–18, 2019. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-6282-5). 266-267 (2019).
MSC:  68Q45 68Q60 93C30
PDF BibTeX XML Cite
Full Text: DOI
Thomsen, Michael Kirkedal (ed.) et al., Reversible computation. 11th international conference, RC 2019, Lausanne, Switzerland, June 24–25, 2019, Proceedings. Cham: Springer (ISBN 978-3-030-21499-9/pbk; 978-3-030-21500-2/ebook). Lecture Notes in Computer Science 11497, 191-206 (2019).
MSC:  68Q05 68Q10 81P68
PDF BibTeX XML Cite
Full Text: DOI
Riguzzi, Fabrizio (ed.) et al., Inductive logic programming. 28th international conference, ILP 2018, Ferrara, Italy, September 2–4, 2018. Proceedings. Cham: Springer (ISBN 978-3-319-99959-3/pbk; 978-3-319-99960-9/ebook). Lecture Notes in Computer Science 11105. Lecture Notes in Artificial Intelligence, 88-104 (2018).
MSC:  68T20 68N17 90C27
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). 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). 649-658 (2018).
MSC:  03B40
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) (ISBN 978-1-4503-5583-4). 275-284 (2018).
PDF BibTeX XML Cite
Full Text: DOI
“Bruno Pini” Mathematical Analysis Seminar 2018. Papers from the seminar, University of Bologna, Bologna, Italy, 2018. Bologna: Università di Bologna, Alma Mater Studiorum. 35-41 (2018).
MSC:  68T27 03B48
PDF BibTeX XML Cite
Full Text: DOI
Alves, Sandra (ed.) et al., Selected papers of the 12th workshop on logical and semantic frameworks, with applications (LSFA 2017), Brasilia, Brazil, September 23–24, 2017. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 338, 115-131 (2018).
MSC:  68Q42 03B40 68N15
PDF BibTeX XML Cite
Full Text: DOI
Rocha, Ricardo (ed.) et al., Technical communications of the 33rd international conference on logic programming, ICLP 2017, August 28 – September 1, 2017, Melbourne, Australia. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. OASIcs – OpenAccess Ser. Inform. 58, Article 8, 15 p. (2018).
MSC:  68T27 68N17 68T37
PDF BibTeX XML Cite
Full Text: DOI
Stepney, Susan (ed.) et al., Unconventional computation and natural computation. 17th international conference, UCNC 2018, Fontainebleau, France, June 25–29, 2018. Proceedings. Cham: Springer (ISBN 978-3-319-92434-2/pbk; 978-3-319-92435-9/ebook). Lecture Notes in Computer Science 10867, 59-71 (2018).
MSC:  68Q05 68Q10
PDF BibTeX XML Cite
Full Text: DOI
Vestn. St. Petersbg. Univ., Math. 51, No. 1, 42-48 (2018); translation from Vestn. St-Peterbg. Univ., Ser. I, Mat. Mekh. Astron. 5(63), No. 1, 55-64 (2018).
MSC:  68T37 62F15 62H22
PDF BibTeX XML Cite
Full Text: DOI
Uustalu, Tarmo (ed.), 21st international conference on types for proofs and programs, TYPES 2015, May 18–21, 2015, Tallinn, Estonia. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 69, Article 1, 34 p. (2018).
PDF BibTeX XML Cite
Full Text: DOI arXiv
Ferrarotti, Flavio (ed.) et al., Foundations of information and knowledge systems. 10th international symposium, FoIKS 2018, Budapest, Hungary, May 14–18, 2018. Proceedings. Cham: Springer (ISBN 978-3-319-90049-0/pbk; 978-3-319-90050-6/ebook). Lecture Notes in Computer Science 10833, 170-185 (2018).
PDF BibTeX XML Cite
Full Text: DOI
Artemov, Sergei (ed.) et al., Logical foundations of computer science. International symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8–11, 2018. Proceedings. Cham: Springer (ISBN 978-3-319-72055-5/pbk; 978-3-319-72056-2/ebook). Lecture Notes in Computer Science 10703, 170-189 (2018).
MSC:  03B70
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