%0
Book
%T
Computer science logic
24th international workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010 ; proceedings
%A CSL 24 2010 Brünn
%A Dawar, Anuj
%A Veith, Helmut
%I Springer
%@ 364215204X
%@ 9783642152047
%K Computer logic Congresses
%K Konferenzschrift 2010 Brünn
%K Theoretische Informatik
%K Logik
%K Computational logic
%K Logische Programmierung
%K Programmierlogik
%D 2010
%X Literaturangaben
%C Springer
%C Berlin
%U http://slubdd.de/katalog?TN_libero_mab2