%0 Generic
%T Logic-Based Program Synthesis and Transformation 9th International Workshop, LOPSTR'99, Venice, Italy, September 22-24, 1999 Selected Papers
%A Bossi, Annalisa
%I Springer Berlin Heidelberg
%@ 9783540676287
%K Artificial intelligence
%K Computer science
%K Logic design
%K Computer Science
%K Konferenzschrift 1999 Venedig
%K Logische Programmierung
%K Programmsynthese
%K Programmtransformation
%K Programmverifikation
%K Softwareentwicklung
%K B Programmiersprache
%D 2000
%C Springer Berlin Heidelberg
%C Berlin, Heidelberg
%U http://slubdd.de/katalog?TN_libero_mab2
Download citation