Logic, language, information, and computation : 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013, proceedings ＜Lecture notes in computer science＞

書籍データ

language information and computation : 20th International Workshop WoLLIC 2013 Darmstadt Germany August 2013 proceedings

著者名：Leonid Libkin, Ulrich Kohlenbach, Ruy de Queiroz (eds.)他の作品を見る

出版社：Springer

発売日：c2013

x, 281 p. 24 cm

ISBN：9783642399916