×

zbMATH — the first resource for mathematics

Found 976 Documents (Results 1–100)

100
MathJax
J. Math. Sci., New York 253, No. 4, 539-546 (2021); translation from Itogi Nauki Tekh., Ser. Sovrem. Mat. Prilozh., Temat. Obz. 154, 81-88 (2018).
MSC:  68T05 68T27
PDF BibTeX XML Cite
Full Text: DOI
Baïou, Mourad (ed.) et al., Combinatorial optimization. 6th international symposium, ISCO 2020, Montreal, QC, Canada, May 4–6, 2020. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 12176, 102-114 (2020).
MSC:  90C26
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 22nd ACM international conference on hybrid systems: computation and control, HSCC 2019, Montreal, Quebec, Canada, April 16–18, 2019. New York, NY: Association for Computing Machinery (ACM). 230-239 (2019).
MSC:  68Q45 68Q60 93C30
PDF BibTeX XML Cite
Full Text: DOI
Balduccini, Marcello (ed.) et al., Logic programming and nonmonotonic reasoning. 15th international conference, LPNMR 2019, Philadelphia, PA, USA, June 3–7, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11481, 241-255 (2019).
MSC:  68N17 68T27
PDF BibTeX XML Cite
Full Text: DOI
Mosc. Univ. Comput. Math. Cybern. 41, No. 3, 134-141 (2017); translation from Vestn. Mosk. Univ., Ser. XV 2017, No. 3, 29-35 (2017).
MSC:  94C10
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, 522-531 (2016).
MSC:  03E72
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 I. Cham: Springer. Commun. Comput. Inf. Sci. 610, 375-386 (2016).
MSC:  68T37 03B52
PDF BibTeX XML Cite
Full Text: DOI
de Jeu, Marcel (ed.) et al., Ordered structures and applications. Positivity VII (Zaanen centennial conference), Leiden, the Netherlands, July 22–26, 2013. Basel: Birkhäuser/Springer. Trends Math., 99-110 (2016).
MSC:  47A35 46B42 46E30
PDF BibTeX XML Cite
Full Text: DOI arXiv

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