Title: Design and implementation of symbolic computation systems
First published: 1996
Subjects: Congresses, Mathematics, System design, Data processing, Automatic theorem proving
LC classification: QA76.9.S88 I576 1996