×

zbMATH — the first resource for mathematics

Found 262 Documents (Results 1–100)

100
MathJax
Desharnais, Jules (ed.) et al., Relational and algebraic methods in computer science. 17th international conference, RAMiCS 2018, Groningen, The Netherlands, October 29 – November 1, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11194, 113-130 (2018).
MSC:  68Qxx
PDF BibTeX XML Cite
Full Text: DOI
Clementini, Eliseo (ed.) et al., 13th international conference on spatial information theory, COSIT 2017, L’Aquila, Italy, September 4–8, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 86, Article 3, 14 p. (2017).
MSC:  68T40 68T30 68U05
PDF BibTeX XML Cite
Full Text: DOI
Clementini, Eliseo (ed.) et al., 13th international conference on spatial information theory, COSIT 2017, L’Aquila, Italy, September 4–8, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 86, Article 1, 15 p. (2017).
PDF BibTeX XML Cite
Full Text: DOI
Antonucci, Alessandro (ed.) et al., Symbolic and quantitative approaches to reasoning with uncertainty. 14th European conference, ECSQARU 2017, Lugano, Switzerland, July 10–14, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10369, 306-317 (2017).
MSC:  68T37
PDF BibTeX XML Cite
Full Text: DOI
Cambridge: Cambridge University Press (ISBN 978-1-107-10422-8/hbk; 978-1-316-21931-7/ebook). xvii, 827 p. (2017).
PDF BibTeX XML Cite
Full Text: DOI
Carro, Manuel (ed.) et al., Technical communications of the 32nd international conference on logic programming, ICLP 2016, October 16–21, 2016, New York, NY, USA. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. OASIcs – OpenAccess Ser. Inform. 52, Article 4, 15 p. (2016).
MSC:  68T27 68N17
PDF BibTeX XML Cite
Full Text: DOI
Kotsireas, Ilias S. (ed.) et al., Mathematical aspects of computer and information sciences. 6th international conference, MACIS 2015, Berlin, Germany, November 11–13, 2015. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 9582, 290-304 (2016).
PDF BibTeX XML Cite
Full Text: DOI
Synthesis Lectures on Artificial Intelligence and Machine Learning 31. San Rafael, CA: Morgan & Claypool Publishers (ISBN 978-1-62705-839-1/pbk; 978-1-62705-840-7/ebook). xv, 138 p. (2016).
PDF BibTeX XML Cite
Full Text: DOI
Calimeri, Francesco (ed.) et al., Logic programming and nonmonotonic reasoning. 13th international conference, LPNMR 2015, Lexington, KY, USA, September 27–30, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9345, 565-571 (2015).
MSC:  68N17 68T27
PDF BibTeX XML Cite
Full Text: DOI
Laurent, Anne (ed.) et al., Information processing and management of uncertainty in knowledge-based systems. 15th international conference, IPMU 2014, Montpellier, France, July 15–19, 2014. Proceedings. Part I. Cham: Springer. Commun. Comput. Inf. Sci. 442, 216-225 (2014).
MSC:  68T37 28E10
PDF BibTeX XML Cite
Full Text: DOI
Interdisciplinary Studies on the Nature of Mathematics 1. München: LINCOM Europa (ISBN 978-3-86288-332-5/hbk). 339 p. (2012).
PDF BibTeX XML Cite
Fariñas del Cerro, Luis (ed.) et al., Logics in artificial intelligence. 13th European conference, JELIA 2012, Toulouse, France, September 26–28, 2012. Proceeding. Berlin: Springer (ISBN 978-3-642-33352-1/pbk). Lecture Notes in Computer Science 7519. Lecture Notes in Artificial Intelligence, 255-266 (2012).
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 7th conference of the European Society for Fuzzy Logic and Technology (EUSFLAT-2011) and 17th annual LFA meeting, Aix-Les-Bains, France, July 18–22, 2011. Amsterdam: Atlantis Press (ISBN 9978-90-78677-00-0). Paper No. 120, 822-829 (2011).
MSC:  28E10 68T37 94D05
PDF BibTeX XML Cite
Full Text: DOI
Grigoriu, Mircea (ed.) et al., European computing conference. Proceedings of the 4th European computing conference (ECC’10), Bucarest, Romania, April 20–22, 2010. Athens: World Scientific and Engineering Academy and Society (WSEAS) (ISBN 978-960-474-183-0/CD-ROM; 978-960-474-178-6/hbk). Electrical and Computer Engineering Series. A Series of Reference Books and Textbooks., 249-259 (2010).
MSC:  68M07
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