@misc
{TN_libero_mab2,
author = {
Pettorossi, Alberto
},
title = {
Logic Based Program Synthesis and Transformation
11th International Workshop, LOPSTR 2001 Paphos, Cyprus, November 28–30, 2001 Selected Papers
},
publisher = {Springer-Verlag Berlin Heidelberg},
isbn = {9783540456070},
isbn = {3540439153},
keywords = {
Logic design
,
Architecture, Computer.
,
Computer logic.
,
Mathematical logic.
,
Computer science
,
Computer Science
,
Artificial intelligence
,
Computer programming.
,
Software engineering.
,
Computer systems.
,
Machine theory.
,
Logic programming Congresses
,
Konferenzschrift 2001 Paphos, Ktima
,
Logische Programmierung
,
Programmsynthese
,
Programmtransformation
,
Computational logic
},
year = {2002},
abstract = {Literaturangaben},
booktitle = {Lecture Notes in Computer Science ; 2372},
booktitle = {SpringerLink ; Bücher},
booktitle = {Springer eBook Collection ; Computer Science},
address = {
Berlin, Heidelberg
},
url = {
http://slubdd.de/katalog?TN_libero_mab2
}
}