| 000 | 00657cam a2200229 04500 | ||
|---|---|---|---|
| 001 | 550637 | ||
| 090 | _a550637 | ||
| 100 | _a20200702d1979 m||a0pory5003 ba | ||
| 101 | 1 | _aeng | |
| 102 | _aPT | ||
| 200 | 1 |
_aGeom _ea prolog geometry theorem prover _fHelder Coelho, Luís Moniz Pereira |
|
| 210 |
_aLisboa _cL.N.E.C. _d1979 |
||
| 215 |
_a70, [1] p. _d25 cm |
||
| 225 |
_aMemória _v525 |
||
| 606 | _aGeometria Geral | ||
| 606 | _aTeoremas de Integração | ||
| 675 | _a519 | ||
| 675 | _a514 | ||
| 700 |
_aCoelho _bHélder _f1948- |
||
| 701 | 1 |
_aPereira _bLuís Moniz _f1947- |
|
| 990 | _cMON | ||