%0 Generic
%T Proof Presentation
%A Siekmann, Jörg
%A Jörg Siekmann
%I Schloss Dagstuhl – Leibniz-Zentrum für Informatik
%K mathematics
%K Artificial intelligence
%K proof presentation
%D 2006
%X Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.
%C Schloss Dagstuhl – Leibniz-Zentrum für Informatik
%U http://slubdd.de/katalog?TN_libero_mab2
Download citation