author = { CSL 24 2010 Brünn Dawar, Anuj AND Veith, Helmut },

title = { Computer science logic 24th international workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010 ; proceedings },

publisher = {Springer},

isbn = {364215204X},

isbn = {9783642152047},

keywords = { Computer logic Congresses , Konferenzschrift 2010 Brünn , Theoretische Informatik , Logik , Computational logic , Logische Programmierung , Programmierlogik },

year = {2010},

abstract = {Literaturangaben},

booktitle = {Lecture Notes in Computer Science / Theoretical Computer Science and General Issues ; 6247},

address = { Berlin },

url = { http://slubdd.de/katalog?TN_libero_mab2 }