@misc
{TN_libero_mab2,
author = {
Lau, Kung-Kiu
},
title = {
Logic Based Program Synthesis and Transformation
10th International Workshop, LOPSTR 2000 London, UK, July 24–28, 2000 Selected Papers
},
publisher = {Springer-Verlag Berlin Heidelberg},
isbn = {9783540451426},
isbn = {3540421270},
keywords = {
Logic design
,
Computer logic.
,
Mathematical logic.
,
Computer science
,
Computer Science
,
Artificial intelligence
,
Computer programming.
,
Software engineering.
,
Machine theory.
,
Logic programming Congresses
,
Konferenzschrift 2000 London
,
Logische Programmierung
,
Programmsynthese
,
Programmtransformation
,
Computational logic
},
year = {2001},
booktitle = {Lecture Notes in Computer Science ; 2042},
booktitle = {SpringerLink ; Bücher},
booktitle = {Springer eBook Collection ; Computer Science},
address = {
Berlin, Heidelberg
},
url = {
http://slubdd.de/katalog?TN_libero_mab2
}
}