×

zbMATH — the first resource for mathematics

Found 553 Documents (Results 1–100)

100
MathJax
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 (ISBN 978-3-030-53261-1/pbk; 978-3-030-53262-8/ebook). Lecture Notes in Computer Science 12176, 214-224 (2020).
MSC:  90C27
PDF BibTeX XML Cite
Full Text: DOI
Iemhoff, Rosalie (ed.) et al., Logic, language, information, and computation. 26th international workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2–5, 2019. Proceedings. Berlin: Springer (ISBN 978-3-662-59532-9/pbk; 978-3-662-59533-6/ebook). Lecture Notes in Computer Science 11541, 223-235 (2019).
MSC:  03B70
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, 214-232 (2018).
MSC:  68Q25 03B70
PDF BibTeX XML Cite
Full Text: DOI
Autom. Remote Control 79, No. 8, 1450-1457 (2018); translation from Avtom. Telemekh. 2018, No. 8, 101-110 (2018).
MSC:  62P30 68T05 62M20
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