Logical Foundations of Computer Science: International Symposium, LFCS 2007 New York, NY, USA, June 4-7, 2007 Proceedings (Lecture Notes in Computer Science (4514), Band 4514)
von:
Sergei N. Artemov ·
Anil Nerode
Taschenbuch
Details (
Deutschland
)
ISBN: 978-3-540-72732-3
ISBN-10: 3-540-72732-9
Springer
· 2009
