TY - BOOK
AU - CSL 24 2010 Brünn
AU - Dawar, Anuj
AU - Veith, Helmut
TI - Computer science logic 24th international workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010 ; proceedings
PB - Springer
SN - 364215204X
SN - 9783642152047
KW - Computer logic Congresses
KW - Konferenzschrift 2010 Brünn
KW - Theoretische Informatik
KW - Logik
KW - Computational logic
KW - Logische Programmierung
KW - Programmierlogik
PY - 2010
N2 - Literaturangaben
BT - Lecture Notes in Computer Science / Theoretical Computer Science and General Issues ; 6247
CY - Berlin
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -
Download citation