On the EA-Style Integrated Processing of Self-Contained Mathematical Texts (2000)

Cached

Download Links

by Anatoli I. Degtyarev , Alexander V. Lyaletski , Marina K. Morokhovets
Venue:IN: PROC. OF THE INTERN. WORKSHOP CALCULEMUS'2000, GREAT BRITAIN
Citations:4 - 2 self