Proof by Pointing and Selecting

From International Center for Computational Logic

Revision as of 19:37, 17 May 2016 by Serge Stratan (talk | contribs) (Page created automatically by parser function on page Thema3434)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Jump to:navigation, search

Proof by Pointing and Selecting

Master's thesis by Junhyuk Cho

Supervisor Steffen Hölldobler
Wissensverarbeitung
– 2006

(Description available only in German) Unfortunately, there is no description available.

Retrieved from "https://iccl.inf.tu-dresden.de/w/index.php?title=Thema3434/en&oldid=19496"