scientific article; zbMATH DE number 1299781

MaRDI QIDQ4248530zbMATH OpenFDO

Authors

Publication date 10 June 1999

zbMATH Keywords

ProceedingsSummer schoolMarktoberdorf (Germany)Calculational system design

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06)

Recommendations

• scientific article; zbMATH DE number 517394
• Calculemus 99. Systems for integrated computation and deduction, Trento, Italy, July 11--12, 1999
• scientific article; zbMATH DE number 107451
• Design implementation of symbolic computation systems. Selected papers of the international symposium, DISCO '93, Gmunden, Austria, September 15- 17, 1993
• Design and implementation of symbolic computation systems. International symposium, DISCO '93, Gmunden, Austria, September 15-17, 1993. Proceedings
• scientific article; zbMATH DE number 1077350
• scientific article; zbMATH DE number 125112
• scientific article; zbMATH DE number 107748
• scientific article; zbMATH DE number 194783
• scientific article; zbMATH DE number 738395

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4248530)