|
|
|
|
| LEADER |
00956nam a2200229 a 4500 |
| 001 |
885672 |
| 005 |
20171111231327.0 |
| 008 |
980305s gr gr 00010 eng d |
| 020 |
|
|
|a 3540642978
|z (alk. paper)
|
| 050 |
1 |
4 |
|a QA448.D38
|b I577 1996
|
| 082 |
0 |
|
|2 21
|a 516/.00285
|
| 110 |
2 |
|
|a International Workshop on Automated Deduction in Geometry
|
| 245 |
1 |
0 |
|a Automated deduction in geometry :International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27-29, 1996 :selected papers /
|c Dongming Wang (ed .).
|
| 260 |
|
|
|a Berlin ;
|
| 260 |
|
|
|a New York :
|b Springer ,
|c c1998 .
|
| 300 |
|
|
|a 234 p. :
|b ill. ;
|c 24 cm.
|
| 504 |
|
|
|a Includes bibliographical references and index.
|
| 650 |
1 |
0 |
|a Automatic theorem proving
|x Congresses
|
| 650 |
1 |
0 |
|a Geometry
|x Data processing
|x Congresses
|
| 650 |
1 |
0 |
|a Logic, Symbolic and mathematical
|x Congresses
|
| 700 |
1 |
|
|a Wang, Dongming
|
| 952 |
|
|
|a GR-AtTEI
|b 59cc80376c5ad13446fd77d0
|c 998a
|d 945l
|e -
|t 1
|x m
|z Books
|
