| 000 | 00874nlm-a2200205---4500 | ||
|---|---|---|---|
| 001 | 240264 | ||
| 005 | 20200804145025.0 | ||
| 090 | _a240264 | ||
| 100 | _a20041028d2003 k y0pory5003 ba | ||
| 101 | 0 | _aeng | |
| 102 | _aPT | ||
| 200 | 1 |
_aConstraint resoning for differential models _bDocumento electrónico _fJorge Carlos Ferreira Rodrigues da Cruz |
|
| 210 |
_aLisboa _c[s.n.] _d2003 |
||
| 215 |
_a1 disco óptico (CD-Rom) _cil. _d13 cm |
||
| 303 | _aDescrição baseada no documento electrónico | ||
| 328 | _aDissertação : Doutor em Engenharia Informática, apresentada à Universidade Nova de Lisboa, Faculdade de Ciencias e Tecnologia | ||
| 675 |
_a519.8 _vmed _zpor |
||
| 700 | 1 |
_aCruz, _bJorge Carlos Ferreira Rodrigues da |
|
| 942 |
_cCOMPU _n0 |
||