|
|
|
|
| LEADER |
00830cam a2200217 7i4500 |
| 001 |
0000019759 |
| 005 |
20020206090000.0 |
| 020 |
# |
0 |
|a 1568811454
|
| 090 |
0 |
0 |
|a QA 155.7
|b E4 C144 2001
|
| 110 |
2 |
0 |
|a CALCULEMUS-2000 Symposium(:
|j St. Andrews, Scotland)
|
| 245 |
1 |
0 |
|a Symbolic computation and automated reasoning :
|b the CALCULEMUS-2000 Symposium
|c edited by Manfred Kerber and Michael Kohlhase.
|
| 260 |
# |
# |
|a Natick, MA:
|b A K Peters,
|c 2001.
|
| 300 |
# |
# |
|a 270 p.:
|b ill.24 cm.
|
| 504 |
0 |
0 |
|a Includes bibliographical references
|
| 650 |
0 |
0 |
|a Automatic theorem proving --
|x Congresses
|
| 650 |
0 |
0 |
|a Algebra --
|x Data processing --
|x Congresses
|
| 700 |
1 |
1 |
|a Kohlhase,
|h Michael
|
| 700 |
1 |
1 |
|a Kerber,
|h Manfred
|
| 745 |
0 |
0 |
|a CALCULEMUS-2000
|
| 745 |
0 |
0 |
|a Symposium on the integration
|
| 999 |
|
|
|a 1100000706
|b Book
|c Open Shelf
|e KOLEKSI TERBUKA
|
