×

zbMATH — the first resource for mathematics

Found 470 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 (ISBN 978-3-030-42652-1/hbk; 978-3-030-42653-8/ebook). 5-29 (2020).
MSC:  00A66
PDF BibTeX XML 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 XML Cite
Full Text: DOI
Fontaine, Pascal (ed.), Automated deduction – CADE 27. 27th international conference on automated deduction, Natal, Brazil, August 27–30, 2019. Proceedings. Cham: Springer (ISBN 978-3-030-29435-9/pbk; 978-3-030-29436-6/ebook). Lecture Notes in Computer Science 11716. Lecture Notes in Artificial Intelligence, 337-353 (2019).
MSC:  03B35 68V15
PDF BibTeX XML Cite
Full Text: DOI
Autom. Remote Control 79, No. 5, 940-946 (2018); translation from Avtom. Prom. 2016, No. 8, 57-60 (2016).
MSC:  90B30 93E03 93E20
PDF BibTeX XML 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 (ISBN 978-3-319-90685-0/pbk; 978-3-319-90686-7/ebook). Lecture Notes in Computer Science 10818, 214-229 (2018).
MSC:  68N17 68N18
PDF BibTeX XML 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 XML 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 XML 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 XML 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 XML 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 (ISBN 978-3-319-40228-4/pbk; 978-3-319-40229-1/ebook). Lecture Notes in Computer Science 9706. Lecture Notes in Artificial Intelligence, 173-182 (2016).
MSC:  68T15
PDF BibTeX XML 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 XML 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 (ISBN 978-3-319-18007-6/pbk; 978-3-319-18008-3/ebook). Lecture Notes in Computer Science 9075, 18-30 (2015).
MSC:  68T20 90C27
PDF BibTeX XML Cite
Full Text: DOI
Felty, Amy P. (ed.) et al., Automated deduction – CADE-25. 25th international conference on automated deduction, Berlin, Germany, August 1–7, 2015. Proceedings. Cham: Springer (ISBN 978-3-319-21400-9/pbk; 978-3-319-21401-6/ebook). Lecture Notes in Computer Science 9195. Lecture Notes in Artificial Intelligence, 246-255 (2015).
MSC:  03B35 68T15
PDF BibTeX XML 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 XML 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 XML 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 XML 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 XML 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 XML 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 XML 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 XML 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 XML 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 XML 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 XML 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 XML 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 XML 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 XML 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 XML 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 XML Cite
Full Text: DOI
New York, NY: Springer (ISBN 978-1-4419-6620-9/hbk; 978-1-4419-6621-6/ebook). xvi, 249 p. (2012).
PDF BibTeX XML Cite
Full Text: DOI
van Raamsdonk, Femke (ed.), 24th international conference on rewriting techniques and applications (RTA 2013), Eindhoven, The Netherlands, June 24–26, 2013. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-53-8). LIPIcs – Leibniz International Proceedings in Informatics 21, 335-351 (2013).
MSC:  68T15 03B35 68Q42
PDF BibTeX XML Cite
Full Text: DOI
van Raamsdonk, Femke (ed.), 24th international conference on rewriting techniques and applications (RTA 2013), Eindhoven, The Netherlands, June 24–26, 2013. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-53-8). LIPIcs – Leibniz International Proceedings in Informatics 21, 71-80 (2013).
MSC:  68Q25 68N30 68Q42
PDF BibTeX XML Cite
Full Text: DOI
van Raamsdonk, Femke (ed.), 24th international conference on rewriting techniques and applications (RTA 2013), Eindhoven, The Netherlands, June 24–26, 2013. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-53-8). LIPIcs – Leibniz International Proceedings in Informatics 21, 55-70 (2013).
MSC:  68Q25 68N30 68Q42
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