Login / Signup
Alexander Dvorský
Publication Activity (10 Years)
Years Active: 2003-2003
Publications (10 Years): 0
</>
Publications
</>
Geoff Sutcliffe
,
Alexander Dvorský
Proving Harder Theorems by Axiom Reduction.
FLAIRS Conference
(2003)