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)

Proceedings

von: Ulrich Kohlenbach · Pablo Barceló · Ruy J G B de Queiroz

Taschenbuch

ISBN-13: 978-3-662-44144-2

ISBN-10: 3-662-44144-6

Springer · 2014