Logical Foundations of Computer Science: International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8-11, 2018, Proceedings (Lecture Notes in Computer Science, Band 10703)

Foundations

von: Sergei Artemov · Anil Nerode

Taschenbuch

Details (Deutschland)
(siehe auch: Kindle Ausgabe)

Details (Vereinigte Staaten)
(siehe auch: eBook (Kindle))

Details (Großbritannien)
(siehe auch: eBook (Kindle))

Details (Kanada)
(siehe auch: eBook (Kindle))

EAN=ISBN-13: 978-3-319-72055-5

ISBN-10: 3-319-72055-4

Springer · 2017

Siehe auch:
2020	Taschenbuch	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)
2015	Taschenbuch	Logical Foundations of Computer Science: International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings (Lecture Notes in Computer Science, Band 9537)
2009	Taschenbuch	Logical Foundations of Computer Science: International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 2009, Proceedings (Lecture Notes in Computer Science, Band 5407)