Logical Foundations of Computer Science: International Symposium, LFCS 2020, Deerfield Beach, FL, USA, January 4-7, 2020, Proceedings (Lecture Notes in Computer Science (11972), Band 11972)

von: Sergei Artemov · Anil Nerode

Taschenbuch

ISBN: 978-3-030-36754-1

ISBN-10: 3-030-36754-1

Springer · 5. Februar 2020

Siehe auch:
2017TaschenbuchLogical Foundations of Computer Science: International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8–11, 2018, Proceedings (Lecture Notes in Computer Science, Band 10703)
2015TaschenbuchLogical Foundations of Computer Science: International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings (Lecture Notes in Computer Science, Band 9537)
2009TaschenbuchLogical Foundations of Computer Science: International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 2009, Proceedings (Lecture Notes in Computer Science, Band 5407)