×

zbMATH — the first resource for mathematics

Found 236 Documents (Results 1–100)

100
MathJax
Kern-Isberner, Gabriele (ed.) et al., Symbolic and quantitative approaches to reasoning with uncertainty. 15th European conference, ECSQARU 2019, Belgrade, Serbia, September 18–20, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11726, 251-262 (2019).
MSC:  68T37
PDF BibTeX XML Cite
Full Text: DOI
Jia, Yingmin (ed.) et al., Proceedings of 2016 Chinese intelligent systems conference, Xiamen, China. Volume II. Singapore: Springer. Lect. Notes Electr. Eng. 405, 133-142 (2016).
PDF BibTeX XML Cite
Full Text: DOI
Galmiche, Didier (ed.) et al., Automated reasoning with analytic tableaux and related methods. 22nd international conference, TABLEAUX 2013, Nancy, France, September 16–19, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-40536-5/pbk). Lecture Notes in Computer Science 8123. Lecture Notes in Artificial Intelligence, 273-287 (2013).
MSC:  68T15 68T05 68T27
PDF BibTeX XML Cite
Full Text: DOI
Latorre Carmona, Pedro (ed.) et al., Mathematical methodologies in pattern recognition and machine learning. Contributions from the international conference on pattern recognition applications and methods (ICPRAM), 2012, Vilamoura, Portugal, February 6–8, 2012. New York, NY: Springer (ISBN 978-1-4614-5075-7/hbk; 978-1-4614-5076-4/ebook). Springer Proceedings in Mathematics & Statistics 30, 127-147 (2013).
MSC:  62P20 91B60 62F15
PDF BibTeX XML Cite
Full Text: DOI
Lechevallier, Yves (ed.) et al., Proceedings of COMPSTAT’2010. 19th international conference on computational statistics, Paris, France, August 22–27, 2010. Keynote, invited and contributed papers. Heidelberg: Physica Verlag. 167-176 (2010).
MSC:  62P05 62H30 62-08
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