Logical Foundations of Computer Science - International Symposium, LFCS 2020, Deerfield Beach, FL, USA, January 4-7, 2020, Proceedings

Författare
(Edited by Sergei Artemov, Anil Nerode.)
Språk
Engelska
Förlag År Ort Om boken ISBN
Springer International Publishing, Imprint: Springer 2020 Tyskland, Cham X, 287 sidor. 418 illus., 3 illus. in color. online resource. 978-3-030-36755-8
Springer International Publishing, Imprint: Springer 2018 Tyskland, Cham X, 369 sidor. 17 illus. online resource. 978-3-319-72056-2
Springer International Publishing, Imprint: Springer 2016 Tyskland, Cham X, 407 sidor. 33 illus. in color. online resource. 978-3-319-27683-0
Springer Berlin Heidelberg, Imprint: Springer 2013 Tyskland, Berlin, Heidelberg X, 415 sidor. 49 illus. digital. 978-3-642-35722-0
Springer Berlin Heidelberg 2009 Tyskland, Berlin, Heidelberg 978-3-540-92687-0
Springer-Verlag Berlin Heidelberg 2007 Utgivningsland okänt / Ej specificerat, Berlin, Heidelberg v.: digital 978-3-540-72734-7