%0 Generic
%T Logic Based Program Synthesis and Transformation 10th International Workshop, LOPSTR 2000 London, UK, July 24–28, 2000 Selected Papers
%A Lau, Kung-Kiu
%I Springer-Verlag Berlin Heidelberg
%@ 9783540451426
%@ 3540421270
%K Logic design
%K Computer logic.
%K Mathematical logic.
%K Computer science
%K Computer Science
%K Artificial intelligence
%K Computer programming.
%K Software engineering.
%K Machine theory.
%K Logic programming Congresses
%K Konferenzschrift 2000 London
%K Logische Programmierung
%K Programmsynthese
%K Programmtransformation
%K Computational logic
%D 2001
%C Springer-Verlag Berlin Heidelberg
%C Berlin, Heidelberg
%U http://slubdd.de/katalog?TN_libero_mab2
Download citation