×

zbMATH — the first resource for mathematics

Found 485 Documents (Results 1–100)

100
MathJax
Felty, Amy (ed.) et al., 14th international workshop on logical and semantic frameworks, with applications, LSFA 2019, Natal, Brazil, in August 2019. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 348, 43-60 (2020).
MSC:  68Q45
PDF BibTeX XML Cite
Full Text: DOI
Cybern. Syst. Anal. 56, No. 6, 1012-1020 (2020); translation from Kibern. Sist. Anal. 2020, No. 6, 175-183 (2020).
MSC:  03E72 68Q45 68T37
PDF BibTeX XML Cite
Full Text: DOI
Sun, Xiaoming (ed.) et al., Theoretical computer science. 37th national conference, NCTCS 2019, Lanzhou, China, August 2–4, 2019. Revised selected papers. Singapore: Springer. Commun. Comput. Inf. Sci. 1069, 64-75 (2019).
MSC:  68Q45 68Q42
PDF BibTeX XML Cite
Full Text: DOI
Springer Proceedings in Mathematics & Statistics 272. Singapore: Springer (ISBN 978-981-13-9607-6/hbk; 978-981-13-9608-3/ebook). xvii, 311 p. (2019).
PDF BibTeX XML Cite
Full Text: DOI
Mandal, Jyotsna K. (ed.) et al., Multi-objective optimization. Evolutionary to hybrid framework. Singapore: Springer. 279-298 (2018).
PDF BibTeX XML Cite
Full Text: DOI
Chen, Chuei Yee (ed.) et al., Innovations through mathematical and statistical research. Proceedings of the 2nd international conference on mathematical sciences and statistics, ICMSS2016, Kuala Lumpur, Malaysia, January 26–28, 2016. Melville, NY: American Institute of Physics (AIP). AIP Conf. Proc. 1739, Article ID 020010, 8 p. (2016).
MSC:  68Q70 20N25
PDF BibTeX XML Cite
Full Text: DOI
Vestn. St. Petersbg. Univ., Math. 49, No. 1, 23-33 (2016); translation from Vestn. St-Peterbg. Univ., Ser. I, Mat. Mekh. Astron. 3(61), No. 1, 32-43 (2016).
MSC:  68Q45 93C42
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
all top 3
Software