Logic, Language, Information, and Computation: 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013, Proceedings (Lecture Notes in Computer Science, Band 8071)

von: Leonid Libkin · Ulrich Kohlenbach · Ruy de Queiroz Taschenbuch Details (Deutschland) ISBN-13: 978-3-642-39991-6 ISBN-10: 3-642-39991-6 Springer · 2013