Login / Signup
Paul Agron
Publication Activity (10 Years)
Years Active: 2005-2005
Publications (10 Years): 0
</>
Publications
</>
Paul Agron
,
Leo Bachmair
,
Frank Nielsen
A Visual Interactive Framework for Formal Derivation.
International Conference on Computational Science (1)
(2005)