×

zbMATH — the first resource for mathematics

Found 839 Documents (Results 1–100)

100
MathJax
Nalon, Cláudia (ed.) et al., Proceedings of the 15th international workshop on logical and semantic frameworks, with applications, LSFA 2020, virtual workshop, August 27–28, 2020. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 351, 167-186 (2020).
MSC:  03B70 68Q55 68T27
PDF BibTeX XML Cite
Full Text: DOI
Kosheleva, Olga (ed.) et al., Beyond traditional probabilistic data processing techniques: interval, fuzzy etc. methods and their applications. Dedicated to Vladik Kreinovich on the occasion of his 65th birthday. Cham: Springer. Stud. Comput. Intell. 835, 137-149 (2020).
MSC:  68T37
PDF BibTeX XML Cite
Full Text: DOI
Calimeri, Francesco (ed.) et al., Logics in artificial intelligence. 16th European conference, JELIA 2019, Rende, Italy, May 7–11, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11468, 498-508 (2019).
MSC:  68T27
PDF BibTeX XML Cite
Full Text: DOI
Barthe, Gilles (ed.) et al., LPAR-22. 22nd international conference on logic for programming, artificial intelligence and reasoning, Awassa, Ethiopia, November 17–21, 2018. Selected papers. Manchester: EasyChair. EPiC Ser. Comput. 57, 326-342 (2018).
MSC:  68T27 03A05 68N17
PDF BibTeX XML Cite
Full Text: DOI
Carvalho, Joao Paulo (ed.) et al., Information processing and management of uncertainty in knowledge-based systems. 16th international conference, IPMU 2016, Eindhoven, The Netherlands, June 20–24, 2016. Proceedings. Part II. Cham: Springer. Commun. Comput. Inf. Sci. 611, 495-509 (2016).
PDF BibTeX XML Cite
Full Text: DOI
Carvalho, Joao Paulo (ed.) et al., Information processing and management of uncertainty in knowledge-based systems. 16th international conference, IPMU 2016, Eindhoven, The Netherlands, June 20–24, 2016. Proceedings. Part II. Cham: Springer. Commun. Comput. Inf. Sci. 611, 108-122 (2016).
MSC:  03B42 03B50 06D35
PDF BibTeX XML Cite
Full Text: DOI
Probst, Dieter (ed.) et al., Concepts of proof in mathematics, philosophy, and computer science. Based on the Humboldt-Kolleg, Bern, Switzerland, September 9–13, 2013. Ontos Mathematical Logic 6. Berlin: De Gruyter. 215-228 (2016).
MSC:  06D35 03B50 06F25
PDF BibTeX XML Cite
Full Text: DOI
Arazim, Pavel (ed.) et al., The Logica yearbook 2015. Proceedings of the 29th annual international symposium Logica, Hejnice Monastery, Czech Republic, June 15–19, 2015. London: College Publications. 133-156 (2016).
MSC:  03B10 03B50 03B22
PDF BibTeX XML Cite
Cao, Bing-Yuan (ed.) et al., International conference on oriental thinking and fuzzy logic. Celebration of the 50th anniversary in the era of complex systems and big data, Dalian, China, August 17–20, 2015. Cham: Springer (ISBN 978-3-319-30873-9/pbk; 978-3-319-30874-6/ebook). Advances in Intelligent Systems and Computing 443, 207-213 (2016).
MSC:  03B50
PDF BibTeX XML Cite
Full Text: DOI
Algebra Logic 55, No. 2, 103-127 (2016); translation from Algebra Logika 55, No. 2, 156-191 (2016); erratum ibid. 55, No. 3, 256 (2016).
MSC:  03B52 03F03 68Q17
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
Biographic Reference
all top 3
Software