|
- New Auxiliary Software for MML Database Management
by Robert Milewski
- Enhancing MML via Isomichi's Classification of Domains
by Adam Grabowski and Magdalena Jastrzebska
- Automatic Translation of Formalized Mathematics
by Grzegorz Bancerek
- Functional Language Translation System on Web: INE
by Yoshio Wadaka
|