Symbolic computation and automated reasoning

the CALCULEMUS-2000 Symposium

By CALCULEMUS-2000 Symposium (2000 St. Andrews, Scotland)

0 (0 Ratings)

0 Want to read0 Currently reading0 Have read

Publish Date

2001

Publisher

A K Peters

Language

eng

Pages

270

1-1 of 1 Editions

Symbolic computation and automated reasoning

Language: eng

Pages: 270

Published In: 2001

Publisher: A K Peters