author = { Schellhorn, Gerhard },

title = { Proving properties of directed graphs: a problem set for automated theorem provers },

publisher = {Universität Ulm},

isbn = {1652464298},

keywords = { Directed graphs , DDC 004 / Data processing & computer science , Automatisches Beweisverfahren , Automatic theorem proving },

year = {2016-03-15T09:03:54Z},

abstract = {Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.},

url = { http://slubdd.de/katalog?TN_libero_mab2 }