Interfaces: Explorations in Logic, Language and Computation [E-Book] : ESSLLI 2008 and ESSLLI 2009 Student Sessions. Selected Papers / edited by Thomas Icard, Reinhard Muskens.
Icard, Thomas
Muskens, Reinhard
Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
online resource
9783642147296
Lecture Notes in Computer Science ; 6211
Full Text
Description not available.