Logic, Language, Information, and Computation: 21st International Workshop, WoLLIC 2014, Valparaíso, Chile, September 1-4, 2014. Proceedings (Lecture Notes in Computer Science (8652), Band 8652)
von:
Ulrich Kohlenbach
·
Pablo Barceló
·
Ruy J G B de Queiroz
Taschenbuch
Details (
Deutschland
)
ISBN-13: 978-3-662-44144-2
ISBN-10: 3-662-44144-6
Springer
· 2014