Warning:
This wiki has been archived and is now read-only.
Dimitri Tsarkov
From OWL
See http://img.cs.manchester.ac.uk/people/#dts
Dimitri was introduced at F2F1 as the implementor of FaCT++.
Warning:
This wiki has been archived and is now read-only.
See http://img.cs.manchester.ac.uk/people/#dts
Dimitri was introduced at F2F1 as the implementor of FaCT++.