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
Buchcover Computer Science Logic  | EAN 9783642152054 | ISBN 3-642-15205-8 | ISBN 978-3-642-15205-4

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
Fast-track conference proceedings