Symbolic computation and automated reasoning : the CALCULEMUS-2000 Symposium /
40
| Main Authors: | , |
|---|---|
| Format: | |
| Published: |
Natick, Mass. : A. K. Peters,
2001
|
| Subjects: |
40
| Main Authors: | , |
|---|---|
| Format: | |
| Published: |
Natick, Mass. : A. K. Peters,
2001
|
| Subjects: |