Authoring Presentation for openmath

Lecture Notes in Computer Science - Mathematical Knowledge Management ◽

10.1007/11618027_3 ◽

2006 ◽

pp. 33-48 ◽

Cited By ~ 7

Author(s):

Shahid Manzoor ◽

Paul Libbrecht ◽

Carsten Ullrich ◽

Erica Melis