Computer Science Logic | 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010, Proceedings | ISBN 9783642152054

Computer Science Logic

24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010, Proceedings

herausgegeben von Anuj Dawar und Helmut Veith
Mitwirkende
Herausgegeben vonAnuj Dawar
Herausgegeben vonHelmut Veith