%0 Generic
%T Proving properties of directed graphs: a problem set for automated theorem provers
%A Schellhorn, Gerhard
%I Universität Ulm
%@ 1652464298
%K DDC 004 / Data processing & computer science
%K Automatisches Beweisverfahren
%K Automatic theorem proving
%K Directed graphs
%D 2016-03-15T09:03:54Z
%X Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.
%C Universität Ulm
%U http://slubdd.de/katalog?TN_libero_mab2
Download citation