A short proof of the versatile version of Fleischner's theorem.

Janina Müttel Dieter Rautenbach

Published in: Discret. Math. (2013)

Keyphrases

interactive theorem proving
real world
decision trees
mobile robot
theorem proving
data sets
databases
user interface
knowledge representation