Logical Foundations of Computer Science: International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings (Lecture Notes in Computer Science, Band 7734)
von:
Sergei Artemov
·
Anil Nerode
Taschenbuch
Details (
Deutschland
)
ISBN: 978-3-642-35721-3
ISBN-10: 3-642-35721-0
Springer
· 2012
