×

zbMATH — the first resource for mathematics

Found 76 Documents (Results 1–76)

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, 397-407 (2019).
MSC:  68T37
PDF BibTeX XML Cite
Full Text: DOI
Steffen, Bernhard (ed.) et al., SOFSEM 2017: theory and practice of computer science. 43rd international conference on current trends in theory and practice of computer science, Limerick, Ireland, January 16–20, 2017, Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10139, 119-131 (2017).
MSC:  03B70 03C62 03F30
PDF BibTeX XML Cite
Full Text: DOI
Madani, Kurosh (ed.) et al., Computational intelligence. International joint conference, IJCCI 2012, Barcelona, Spain, October 5–7, 2012. Revised selected papers. Cham: Springer (ISBN 978-3-319-11270-1/hbk; 978-3-319-11271-8/ebook). Studies in Computational Intelligence 577, 213-227 (2014).
MSC:  03B50
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. 23, 146-152 (2011).
MSC:  03B52
PDF BibTeX XML Cite
Full Text: DOI
Freivalds, Rūsiņš (ed.), Fundamentals of computation theory. 13th international symposium, FCT 2001, Riga, Latvia, August 22-24, 2001. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2138, 275-286 (2001).
PDF BibTeX XML Cite
Full Text: Link
Philadelphia, PA: SIAM. xi, 104 p. (2001).
Reviewer: A.Samaras
PDF BibTeX XML Cite
Full Text: DOI
Mathematical logic, Proc. Summer Sch. Conf. Ded. 90th Anniv. Arend Heyting, Chaika/Bulg. 1988, 311-326 (1990).
MSC:  03B45
PDF BibTeX XML Cite

Filter Results by …

Document Type
Reviewing State
all top 5
Author
all top 5
Year of Publication
all top 3
Classification
all top 3
Software