×

zbMATH — the first resource for mathematics

Found 1,245 Documents (Results 1–100)

100
MathJax
Felty, Amy (ed.) et al., 14th international workshop on logical and semantic frameworks, with applications, LSFA 2019, Natal, Brazil, in August 2019. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 348, 3-22 (2020).
MSC:  03B70 68Q55
PDF BibTeX Cite
Full Text: DOI
Autom. Remote Control 81, No. 6, 1149-1165 (2020); translation from Mat. Teor. Igr Prilozh. 10, No. 2, 3-26 (2018).
PDF BibTeX Cite
Full Text: DOI
Ju, Shier (ed.) et al., Nonclassical logics and their applications. Post-proceedings of the 8th international workshop on logic and cognition, WOLC 2016, Guangzhou, China, December 5–9, 2016. Singapore: Springer. Log. Asia: Stud. Log. Libr., 85-104 (2020).
MSC:  03B70
PDF BibTeX Cite
Full Text: DOI
Synthesis Lectures on Artificial Intelligence and Machine Learning 44. San Rafael, CA: Morgan & Claypool Publishers (ISBN 978-1-68173-724-9/hbk; 978-1-68173-722-5/pbk; 978-1-68173-723-2/ebook). xx, 199 p. (2020).
MSC:  68-01 68N17
PDF BibTeX Cite
Full Text: DOI
Dokl. Math. 100, No. 3, 533-537 (2019); translation from Dokl. Akad. Nauk, Ross. Akad. Nauk 489, No. 2, 136-141 (2019).
MSC:  93D05 93C15 91A40
PDF BibTeX Cite
Full Text: DOI
Gąsieniec, Leszek Antoni (ed.) et al., Fundamentals of computation theory. 22nd international symposium, FCT 2019, Copenhagen, Denmark, August 12–14, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11651, 64-79 (2019).
MSC:  68Qxx
PDF BibTeX Cite
Full Text: DOI
Martín-Vide, Carlos (ed.) et al., Language and automata theory and applications. 13th international conference, LATA 2019, St. Petersburg, Russia, March 26–29, 2019, Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11417, 356-367 (2019).
MSC:  68Q42 03B70
PDF BibTeX Cite
Full Text: DOI
Accattoli, Beniamino (ed.) et al., Proceedings of the 13th workshop on logical and semantic frameworks with applications, LSFA 18, Fortaleza, Brazil, September 26–28, 2018. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 344, 47-65 (2019).
MSC:  68Q42 68V15 68V20
PDF BibTeX Cite
Full Text: DOI
Kondratenko, Yuriy P. (ed.) et al., Advanced control techniques in complex engineering systems: theory and applications. Dedicated to Professor Vsevolod M. Kuntsevich. Cham: Springer. Stud. Syst. Decis. Control 203, 83-104 (2019).
MSC:  91A24 93D05
PDF BibTeX Cite
Full Text: DOI
Hinze, Thomas (ed.) et al., Membrane computing. 19th international conference, CMC 2018, Dresden, Germany, September 4–7, 2018. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 11399, 160-187 (2019).
MSC:  68Q05 68Q10
PDF BibTeX Cite
Full Text: DOI
Kirchner, Hélène (ed.), 3rd international conference on formal structures for computation and deduction, FSCD 2018, July 9–12, 2018, Oxford, United Kingdom. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 108, Article 28, 20 p. (2018).
MSC:  68N18 68Q42 68V15
PDF BibTeX Cite
Full Text: DOI
Kirchner, Hélène (ed.), 3rd international conference on formal structures for computation and deduction, FSCD 2018, July 9–12, 2018, Oxford, United Kingdom. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 108, Article 12, 17 p. (2018).
MSC:  68Q42 03B40 68Q25
PDF BibTeX Cite
Full Text: DOI
Kirchner, Hélène (ed.), 3rd international conference on formal structures for computation and deduction, FSCD 2018, July 9–12, 2018, Oxford, United Kingdom. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 108, Article 9, 17 p. (2018).
MSC:  68Q42 68R10
PDF BibTeX Cite
Full Text: DOI
Kirchner, Hélène (ed.), 3rd international conference on formal structures for computation and deduction, FSCD 2018, July 9–12, 2018, Oxford, United Kingdom. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 108, Article 7, 16 p. (2018).
MSC:  68Q42 03B70
PDF BibTeX 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). 540-549 (2018).
MSC:  03F52
PDF BibTeX Cite
Full Text: DOI
Dobrev, Vladimir (ed.), Quantum theory and symmetries with Lie theory and its applications in physics. Volume 2. QTS-X/LT-XII, Varna, Bulgaria, June 19–25, 2017. Singapore: Springer (ISBN 978-981-13-2178-8/hbk; 978-981-13-2179-5/ebook). Springer Proceedings in Mathematics & Statistics 255, 353-362 (2018).
PDF BibTeX Cite
Full Text: DOI
Aoki, Yasumichi (ed.) et al., Origin of mass and strong coupling gauge theories (SCGT15). Proceedings of the Sakata memorial KMI workshop, Nagoya, Japan, March 3–5, 2015. Hackensack, NJ: World Scientific (ISBN 978-981-3231-45-0/hbk; 978-981-3231-47-4/ebook). 304-307 (2018).
MSC:  81V22 81R40 81U99
PDF BibTeX Cite
Full Text: DOI
Materiali per la Costruzione delle Biografie dei Matematici Italiani dall’Unità. Milan: Mimesis Edizione (ISBN 978-88-575-4135-8). 264 p. (2017).
MSC:  01A55 01A75
PDF BibTeX Cite
Chatzigiannakis, Ioannis (ed.) et al., 44th international colloquium on automata, languages, and programming, ICALP 2017, Warsaw, Poland July 10–14, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 80, Article 95, 13 p. (2017).
MSC:  68Q45 68Q25 68Q42
PDF BibTeX Cite
Full Text: DOI
Brink, Lars (ed.) et al., Memorial volume on Abdus Salam’s 90th birthday. Collected papers based on the presentations at the memorial meeting, Institute of Advanced Studies at Nanyang Technological University, Singapore, January 25–28, 2016. Hackensack, NJ: World Scientific (ISBN 978-981-3144-86-6/hbk; 978-981-3144-88-0/ebook). 15-29 (2017).
PDF BibTeX Cite
Full Text: DOI
Dixon, Clare (ed.) et al., Frontiers of combining systems. 11th international symposium, FroCoS 2017, Brasília, Brazil, September 27–29, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10483, 281-297 (2017).
MSC:  68Txx
PDF BibTeX Cite
Full Text: DOI
Hermenegildo, Manuel V. (ed.) et al., Logic-based program synthesis and transformation. 26th international symposium, LOPSTR 2016, Edinburgh, UK, September 6–8, 2016. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 10184, 328-344 (2017).
MSC:  68N30
PDF BibTeX 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