Manfred Riem

Publication Activity (10 Years)

Years Active: 2000-2000
Publications (10 Years): 0

Publications

Olga Caprotti, Arjeh M. Cohen, Manfred Riem
JAVA Phrasebooks for computer algebra and automated deduction. SIGSAM Bull. 34 (2) (2000)