| 000 | 00643nam a2200217 i 4500 | ||
|---|---|---|---|
| 001 | 3156 | ||
| 005 | 20170623195720.0 | ||
| 010 | _a972-37-0276-2 | ||
| 090 | _a3156 | ||
| 100 | _a20050127d1991 0pory50 ba | ||
| 200 | 1 |
_aTeoria clássica da dedução _fM. S. Lourenço |
|
| 210 |
_aLisboa _cAssírio & Alvim _d1991 |
||
| 215 |
_a318 p. _cil. _d22 cm. |
||
| 606 |
_910416 _aInteligência artificial |
||
| 606 |
_914098 _aLógica |
||
| 606 |
_912338 _aModelo automático |
||
| 606 |
_913717 _aReconhecimento identidade humano |
||
| 675 | _a681.5(007) | ||
| 700 | 1 |
_aLOURENÇO _bM. S. _99098 |
|
| 852 |
_aISEL _bBiblioteca Central _gLOU. _j681.5(007) |
||
| 942 | _cMO | ||