%0 Generic
%T CSL '89 3rd Workshop on Computer Science Logic. Kaiserslautern, FRG, October 2-6, 1989. Proceedings
%A Börger, Egon
%A Kleine Büning, Hans
%A Richter, Michael M.
%I Springer Berlin Heidelberg
%@ 9783540471370
%K Artificial intelligence
%K Computer science
%K Logic design
%K Computer Science
%K Konferenzschrift 1989 Kaiserslautern
%K Informatik
%K Logik
%D 1990
%C Springer Berlin Heidelberg
%C Berlin, Heidelberg
%U http://slubdd.de/katalog?TN_libero_mab2
Download citation