×

zbMATH — the first resource for mathematics

Found 154 Documents (Results 1–100)

100
MathJax
Sedlár, Igor (ed.) et al., The Logica yearbook 2018. Proceedings of the symposium Logica 2018, Hejnice Monastery, Czech Republic, June 18–22, 2018. London: College Publications (ISBN 978-1-84890-307-4/pbk). 1-12 (2019).
PDF BibTeX XML Cite
Klasing, Ralf (ed.) et al., Fundamentals of computation theory. 21st international symposium, FCT 2017, Bordeaux, France, September 11–13, 2017. Proceedings. Berlin: Springer (ISBN 978-3-662-55750-1/pbk; 978-3-662-55751-8/ebook). Lecture Notes in Computer Science 10472, 367-380 (2017).
MSC:  68Qxx
PDF BibTeX XML Cite
Full Text: DOI
Bertet, Karell (ed.) et al., Formal concept analysis. 14th international conference, ICFCA 2017, Rennes, France, June 13–16, 2017. Proceedings. Cham: Springer (ISBN 978-3-319-59270-1/pbk; 978-3-319-59271-8/ebook). Lecture Notes in Computer Science 10308. Lecture Notes in Artificial Intelligence, 155-167 (2017).
MSC:  68T30
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 2016 ACM symposium on principles of distributed computing, PODC ’16, Chicago, IL, USA, July 25–28, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3964-3). 203-205 (2016).
PDF BibTeX XML Cite
Full Text: DOI
Dodis, Yevgeniy (ed.) et al., Theory of cryptography. 12th theory of cryptography conference, TCC 2015, Warsaw, Poland, March 23–25, 2015. Proceedings, Part II. Berlin: Springer (ISBN 978-3-662-46496-0/pbk). Lecture Notes in Computer Science 9015, 247-276 (2015).
MSC:  94A60 68P25
PDF BibTeX XML Cite
Full Text: DOI
Dančák, Michal (ed.) et al., The Logica yearbook 2013. Proceedings of the 27th annual international symposium Logica, Hejnice Monastery, Czech Republic, June 17–21, 2013. London: College Publications (ISBN 978-1-84890-144-5/pbk). 187-205 (2014).
MSC:  03B42
PDF BibTeX XML Cite
Dančák, Michal (ed.) et al., The Logica yearbook 2013. Proceedings of the 27th annual international symposium Logica, Hejnice Monastery, Czech Republic, June 17–21, 2013. London: College Publications (ISBN 978-1-84890-144-5/pbk). 63-75 (2014).
MSC:  03B42
PDF BibTeX XML Cite
Miao, Duoqian (ed.) et al., Rough sets and knowledge technology. 9th international conference, RSKT 2014, Shanghai, China, October 24–26, 2014. Proceedings. Cham: Springer (ISBN 978-3-319-11739-3/pbk; 978-3-319-11740-9/ebook). Lecture Notes in Computer Science 8818. Lecture Notes in Artificial Intelligence, 683-692 (2014).
MSC:  68T37 68T30
PDF BibTeX XML Cite
Full Text: DOI
Skowron, Andrzej (ed.) et al., Rough sets and intelligent systems – Professor Zdzisław Pawlak in memoriam. Volume 1. Foreword by Roman Słowiński. Berlin: Springer (ISBN 978-3-642-30343-2/hbk; 978-3-642-30344-9/ebook). Intelligent Systems Reference Library 42, 333-357 (2013).
MSC:  68T30 68T37
PDF BibTeX XML Cite
Full Text: DOI
Hanna, Gila (ed.) et al., Proof and proving in mathematics education. The 19th ICMI study. Berlin: Springer (ISBN 978-94-007-2128-9/hbk; 978-94-007-2129-6/ebook). New ICMI Study Series 15, 69-96 (2012).
MSC:  97E50 97U70
PDF BibTeX XML Cite
Full Text: DOI
Bouchon-Meunier, B. (ed.) et al., Foundations of reasoning under uncertainty. Papers based on the presentations at the 2008 conference on information processing and management of uncertainty (IPMU), Málaga, Spain, June 22–27, 2008. Berlin: Springer (ISBN 978-3-642-10726-9/hbk; 978-3-642-10728-3/ebook). Studies in Fuzziness and Soft Computing 249, 65-83 (2010).
MSC:  68T30 68T27
PDF BibTeX XML Cite
Full Text: DOI
Cyran, Krzysztof A. (ed.) et al., Man-machine interactions. Papers based on the presentations at the international conference (ICMMI 2009), Kocierz Pass, Poland, September 25–27, 2009. Berlin: Springer (ISBN 978-3-642-00562-6/pbk; 978-3-642-00563-3/ebook). Advances in Intelligent and Soft Computing 59, 183-190 (2009).
MSC:  68T30 68T35 68T05
PDF BibTeX XML Cite
Full Text: DOI
Berghammer, Rudolf (ed.) et al., Relations and Kleene algebra in computer science. 10th international conference on relational methods in computer science, and 5th international conference on applications of Kleene algebra, RelMiCS/AKA 2008, Frauenwörth, Germany, April 7–11, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-78912-3/pbk). Lecture Notes in Computer Science 4988, 221-233 (2008).
MSC:  68T30 06B23 18B10
PDF BibTeX XML Cite
Full Text: DOI
Peters, James F. (ed.) et al., Transactions on Rough Sets VI. Commemorating life and work of Zdisław Pawlak, Part I. Berlin: Springer (ISBN 978-3-540-71198-8/pbk). Lecture Notes in Computer Science 4374. Journal Subline, 211-246 (2007).
MSC:  68T37 68T30 68W40
PDF BibTeX XML Cite
Full Text: DOI
Wang, Guoyin (ed.) et al., Rough sets and knowledge technology. First international conference, RSKT 2006, Chongqing, China, July 24–26, 2006. Proceedings. Berlin: Springer (ISBN 978-3-540-36297-5/pbk). Lecture Notes in Computer Science 4062. Lecture Notes in Artificial Intelligence, 522-529 (2006).
MSC:  68T30 68T37
PDF BibTeX XML Cite
Full Text: DOI
Wolff, Karl Erich (ed.) et al., Conceptual structures at work. 12th international conference on conceptual structures, ICCS 2004, Huntsville, AL, USA, July 19–23, 2004. Proceedings. Berlin: Springer (ISBN 3-540-22392-4/pbk). Lecture Notes in Computer Science 3127. Lecture Notes in Artificial Intelligence, 287-302 (2004).
PDF BibTeX XML Cite
Full Text: DOI
Rosenthal, Joachim (ed.) et al., Mathematical systems theory in biology, communications, computation, and finance. Papers presented at the 15th international symposium on mathematical theory of networks and systems (MTNS), Notre Dame, IN, USA, August 12–16, 2002. New York, NY: Springer (ISBN 0-387-40319-1/hbk). IMA Vol. Math. Appl. 134, 275-299 (2003).
MSC:  68T30 94A17 06A06
PDF BibTeX XML Cite
Bouchon-Meunier, Bernadette (ed.) et al., Technologies for constructing intelligent systems. 2: Tools. Heidelberg: Physica-Verlag. Stud. Fuzziness Soft Comput. 90, 289-302 (2002).
MSC:  68T35
PDF BibTeX XML Cite
Gabbay, Dov M. (ed.) et al., Handbook of defeasible reasoning uncertainty management systems. Vol. 6: Dynamics and management of reasoning processes. Dordrecht: Kluwer Academic Publishers. 15-39 (2001).
MSC:  68T35 03B44 68T37
PDF BibTeX XML Cite
Faller, Martina (ed.) et al., Formalizing the dynamics of information. Stanford, CA: CSLI, Center for the Study of Language and Information. CSLI Lect. Notes. 91, 3-26 (2000).
MSC:  03B60 68T30 68T27
PDF BibTeX XML Cite
Bouquet, Paolo (ed.) et al., Modeling and using context. 2nd international and interdisciplinary conference, CONTEXT ’99, Trento, Italy, September 9-11, 1999. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1688, 159-172 (1999).
MSC:  03B42 68T30 68T27
PDF BibTeX XML Cite

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