Logical Foundations of Computer Science: International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 2009, Proceedings: International ... Notes in Computer Science (5407), Band 5407)
von
Sergei Artemov
Taschenbuch
Details (
Deutschland
)
ISBN: 978-3-540-92686-3
ISBN-10: 3-540-92686-0
Springer
· 2009
