×

zbMATH — the first resource for mathematics

Found 475 Documents (Results 1–100)

100
MathJax
Emmer, Michele (ed.) et al., Imagine math 7. Between culture and mathematics. Proceedings of the international conference on mathematics and culture, Venice, Italy, March 29–31, 2019. Cham: Springer. 5-29 (2020).
MSC:  00A66
PDF BibTeX Cite
Full Text: DOI
Autom. Remote Control 80, No. 11, 1929-1948 (2019); translation from Avtom. Telemekh. 2019, No. 11, 3-23 (2019).
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 30, 18 p. (2018).
MSC:  68Q42 68V15
PDF BibTeX Cite
Full Text: DOI
Gallagher, John P. (ed.) et al., Functional and logic programming. 14th international symposium, FLOPS 2018, Nagoya, Japan, May 9–11, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10818, 214-229 (2018).
MSC:  68N17 68N18
PDF BibTeX Cite
Full Text: DOI
Eiter, Thomas (ed.) et al., LPAR-21. 21st international conference on logic for programming, artificial intelligence and reasoning, Maun, Botswana, May 8–12, 2017. Selected papers. Manchester: EasyChair. EPiC Series in Computing 46, 15-143 (2017).
MSC:  68T15 68T05
PDF BibTeX Cite
Full Text: DOI
Geuvers, Herman (ed.) et al., Intelligent computer mathematics. 10th international conference, CICM 2017, Edinburgh, UK, July 17–21, 2017. Proceedings. Cham: Springer (ISBN 978-3-319-62074-9/pbk; 978-3-319-62075-6/ebook). Lecture Notes in Computer Science 10383. Lecture Notes in Artificial Intelligence, 40-55 (2017).
MSC:  68T15 68N30
PDF BibTeX Cite
Full Text: DOI
Bartel, Andreas (ed.) et al., Scientific computing in electrical engineering. SCEE 2014. Proceedings of the 10th international conference, Wuppertal, Germany, July 22–25, 2014. Cham: Springer (ISBN 978-3-319-30398-7/hbk; 978-3-319-30399-4/ebook). Mathematics in Industry 23. The European Consortium for Mathematics in Industry, 13-20 (2016).
PDF BibTeX Cite
Full Text: DOI arXiv
Kesner, Delia (ed.) et al., 1st international conference on formal structures for computation and deduction, FSCD 2016, Porto, Portugal, June 22–26, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-010-1). LIPIcs – Leibniz International Proceedings in Informatics 52, Article 36, 12 p. (2016).
MSC:  68Q42 68T15
PDF BibTeX Cite
Full Text: DOI
Olivetti, Nicola (ed.) et al., Automated reasoning. 8th international joint conference, IJCAR 2016, Coimbra, Portugal, June 27 – July 2, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9706, 173-182 (2016).
MSC:  68T15
PDF BibTeX Cite
Full Text: DOI
Fernández, Maribel (ed.), 26th international conference on rewriting techniques and applications, RTA’13, Warsaw, Poland, June 29 – July 1, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-85-9). LIPIcs – Leibniz International Proceedings in Informatics 36, 257-268 (2015).
MSC:  68Q42 68T15
PDF BibTeX Cite
Full Text: DOI
Michel, Laurent (ed.), Integration of AI and OR techniques in constraint programming. 12th international conference, CPAIOR 2015, Barcelona, Spain, May 18–22, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9075, 18-30 (2015).
MSC:  68U05 68T20 90C59
PDF BibTeX Cite
Full Text: DOI
Ferrier, Jean-Louis (ed.) et al., Informatics in control, automation and robotics. 9th international conference, ICINCO 2012, Rome, Italy, July 28–31, 2012. Revised selected papers. Cham: Springer. Lect. Notes Electr. Eng. 283, 281-295 (2014).
MSC:  93A30 93C15 93C83 93-04
PDF BibTeX Cite
Full Text: DOI
Świątek, Jerzy (ed.) et al., Advances in systems science. Proceedings of the international conference on systems science 2013 (ICSS 2013), Wroclaw, Poland, September 10–12, 2013. Cham: Springer. Adv. Intell. Syst. Comput. 240, 229-240 (2014).
MSC:  94A08 90B30 90B25
PDF BibTeX Cite
Full Text: DOI
Lecture Notes in Computational Vision and Biomechanics 13. Cham: Springer (ISBN 978-3-319-03589-5/hbk; 978-3-319-03590-1/ebook). xiv, 137 p. (2014).
PDF BibTeX Cite
Full Text: DOI
Klein, Gerwin (ed.) et al., Interactive theorem proving. 5th international conference, ITP 2014, held as part of the Vienna summer of logic, VSL 2014, Vienna, Austria, July 14–17, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8558, 374-389 (2014).
MSC:  68T15 68Q60
PDF BibTeX Cite
Full Text: DOI
Dowek, Gilles (ed.), Rewriting and typed lambda calculi. Joint international conference, RTA-TLCA 2014, held as part of the Vienna summer of logic, VSL 2014, Vienna, Austria, July 14–17, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8560, 456-465 (2014).
MSC:  68T15 68Q42
PDF BibTeX Cite
Full Text: DOI
Dowek, Gilles (ed.), Rewriting and typed lambda calculi. Joint international conference, RTA-TLCA 2014, held as part of the Vienna summer of logic, VSL 2014, Vienna, Austria, July 14–17, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8560, 257-271 (2014).
MSC:  68Q42 68Q25
PDF BibTeX Cite
Full Text: DOI
Ferrier, Jean-Louis (ed.) et al., Informatics in control, automation and robotics. 8th international conference, ICINCO 2011, Noordwijkerhout, The Netherland, July 28–31, 2011. Revised selected papers. Berlin: Springer (ISBN 978-3-642-31352-3/hbk; 978-3-642-31353-0/ebook). Lecture Notes in Electrical Engineering 174, 195-209 (2013).
MSC:  93C95 90B25 90B30
PDF BibTeX Cite
Full Text: DOI
Proceedings of the 18th ACM SIGPLAN international conference on functional programming, ICFP ’13, Boston, MA, USA, September 25–27, 2013. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2326-0). ACM SIGPLAN Notices 48, No. 9, 87-100 (2013).
MSC:  68N30 68T15
PDF BibTeX Cite
Full Text: DOI
Tarraf, Danielle C. (ed.), Control of cyber-physical systems. Invited papers based on the presentations at the workshop at Johns Hopkins University, Baltimore, MD, USA, March 20–21, 2013. Cham: Springer (ISBN 978-3-319-01158-5/pbk; 978-3-319-01159-2/ebook). Lecture Notes in Control and Information Sciences 449, 179-196 (2013).
MSC:  94C12 93C95
PDF BibTeX Cite
Full Text: DOI
Proceedings of the 25th international conference on formal power series and algebraic combinatorics, FPSAC 2013, Paris, France, June 24–28, 2013. Nancy: The Association. Discrete Mathematics & Theoretical Computer Science (DMTCS). Discrete Mathematics and Theoretical Computer Science. Proceedings, 743-754, electronic only (2013).
MSC:  05A05
PDF BibTeX Cite
Full Text: Link
Carette, Jacques (ed.) et al., Intelligent computer mathematics. MKM, Calculemus, DML, and systems and projects 2013, held as part of CICM 2013, Bath, UK, July 8–12, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-39319-8/pbk). Lecture Notes in Computer Science 7961. Lecture Notes in Artificial Intelligence, 263-277 (2013).
MSC:  68U35
PDF BibTeX Cite
Full Text: DOI
Tiwari, Ashish (ed.), 23rd international conference on rewriting techniques and applications (RTA’12), Nagoya, Japan, May 28 – June 2, 2012. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 15, 176-192 (2012).
MSC:  68Q42 68N18
PDF BibTeX Cite
Full Text: DOI
Gramlich, Bernhard (ed.) et al., Automated reasoning. 6th international joint conference, IJCAR 2012, Manchester, UK, June 26–29, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-31364-6/pbk). Lecture Notes in Computer Science 7364. Lecture Notes in Artificial Intelligence, 530-536 (2012).
MSC:  68Q42 68T15
PDF BibTeX Cite
Full Text: DOI
Gramlich, Bernhard (ed.) et al., Automated reasoning. 6th international joint conference, IJCAR 2012, Manchester, UK, June 26–29, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-31364-6/pbk). Lecture Notes in Computer Science 7364. Lecture Notes in Artificial Intelligence, 439-453 (2012).
MSC:  68T15 03B60 68T40
PDF BibTeX Cite
Full Text: DOI
Lecture Notes in Electrical Engineering 149. Dordrecht: Springer (ISBN 978-94-007-2986-5/hbk; 978-94-007-2987-2/ebook). xv, 469 p. (2012).
MSC:  68-06 94-06 68-00 94-00 94C10
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