TY - GEN
AU - Schellhorn, Gerhard
TI - Proving properties of directed graphs: a problem set for automated theorem provers
PB - Universität Ulm
SN - 1652464298
KW - DDC 004 / Data processing & computer science
KW - Automatisches Beweisverfahren
KW - Automatic theorem proving
KW - Directed graphs
PY - 2016-03-15T09:03:54Z
N2 - Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -
Download citation