Theodor Yemenis

Publication Activity (10 Years)

Years Active: 1993-1994
Publications (10 Years): 0

Publications

Geoff Sutcliffe, Christian B. Suttner, Theodor Yemenis
The TPTP Problem Library. CADE (1994)
Christian B. Suttner, Geoff Sutcliffe, Theodor Yemenis
The TPTP problem library Forschungsberichte, TU Munich (1993)