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)

Proceedings

von: Sergei Artemov · Anil Nerode

Taschenbuch

Details (Deutschland)
(siehe auch: Kindle Ausgabe)

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

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

ISBN: 978-3-319-27682-3

ISBN-10: 3-319-27682-4

Springer · 2015

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)
2017	Taschenbuch	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)
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)