@misc
{TN_libero_mab2,
author = {
Dawar, Anuj
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 Berlin Heidelberg},
isbn = {9783642152054},
keywords = {
Computer software
,
Logic design
,
Computer Science
,
Computer science
,
Software engineering
,
Artificial intelligence
,
Machine theory.
,
Computer programming.
,
Konferenzschrift 2010 Brünn
,
Theoretische Informatik
,
Logik
,
Computational logic
,
Logische Programmierung
,
Programmierlogik
},
year = {2010},
booktitle = {Lecture Notes in Computer Science ; 6247},
booktitle = {SpringerLink ; Bücher},
address = {
Berlin, Heidelberg
},
url = {
http://slubdd.de/katalog?TN_libero_mab2
}
}