Symbolic computation and automated reasoning

An edition of Symbolic computation and automated reasoning (2001)

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

0 Want to read0 Currently reading0 Have read

Publish Date

2001

Publisher

A K Peters

Language

eng

Pages

270

Description:

subjects: Congresses, Algebra, Data processing, Automatic theorem proving, Algebra, data processing, Algèbre, Congrès, Informatique, Théorèmes, Démonstration automatique, Computerwiskunde, Automatische bewijsvoering