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

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 9783642152047 | ISBN 3-642-15204-X | ISBN 978-3-642-15204-7

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