عنوان
پدید آورنده
موضوع
رده
QA 155.7 .E4C23 2000
QA
155
.
7
.
E4C23
2000
کتابخانه
محل استقرار
Symbolic computation and automated reasoning : the CALCULEMUS-2000 Symposium
2000 : St. Andrews, Scotland
Natick, Mass.
A K Peters
c2001
xi, 270 p.: ill., tables.
Includes bibliographies
ISBN: 1568811454
edited by Manfred Kerber and Michael Kohlhase
1
Data processing -- Congresses ، Algebra
Congresses ، Automatic theorem proving
QA
155
.
7
.
E4C23
2000
AU
AU Kerber, Manfred, 1956-
AU Kohlhase, Michael, 1964-
TI
CALCULEMUS
