Title:
Symbolic computation and automated reasoning : the CALCULEMUS-2000 Symposium
Publication Information:
Natick, Mass. : A. K. Peters, 2001
ISBN:
9781568811451
Available:*
Library | Item Barcode | Call Number | Material Type | Item Category 1 | Status |
---|---|---|---|---|---|
Searching... | 30000004832949 | QA155.7.E4 C35 2001 | Open Access Book | Book | Searching... |