| 000 | 00780nam a2200217 i 4500 | ||
|---|---|---|---|
| 001 | 17531 | ||
| 005 | 20170929145503.0 | ||
| 100 | _a20050721d2004 0pory50 ba | ||
| 200 | 1 |
_aSuporte de quantales e aplicações à lógica modal _fCátia Raquel Jesus Vaz _gorient. Pedro Manuel Agostinho Resende |
|
| 210 |
_aLisboa _cUTL - Instrituto Superior Técnico _d2004 |
||
| 215 |
_aIII, 80 p. _d30 cm |
||
| 300 | _aDissertação para obtenção do Grau de Mestre em Matemática Aplicada | ||
| 606 |
_961 _aMatemática |
||
| 606 |
_917589 _aTeses / Dissertações |
||
| 606 |
_915216 _aQuantale suportado |
||
| 606 |
_915217 _aSemântica algébrica |
||
| 675 | _a51(043) | ||
| 700 | 1 |
_aVAZ _bCátia Raquel Jesus _99656 |
|
| 852 |
_aISEL _bBiblioteca Central _gVAZ _j51(043) |
||
| 090 | _a17531 | ||
| 942 | _cTES | ||