DaftarIsitemplate

Call Number

SEM-281

Title

System description: the math web software bus for distribution mathematical reasoning, Hal. 139-149

Author

Jurgen Zimmer; Michael Koblhase;

Publisher

Proceedings : Automated deduction CADE-18, 18th International conference on automated deduction Copenhagen, Denmark, July 2002

Subject

Location