000 006340am0a22002170004500
001 31763
010 _a9728021933
090 _a31763
100 _a20120518d2000 u||y0pory50 ba
101 0 _apor
102 _aPT
200 1 _aIntrodução à programação em lógica
_fDelfim Fernando Marado Torres
210 _aAveiro
_cUniversidade de Aveiro
_d2000
215 _a346 p.
606 _938477
_aInformática
606 _939042
_aMatemática computacional
606 _938948
_aLógica
606 _940268
_aProgramação de computador
700 1 _930484
_aTorres
_bDelfim Fernando Marado
801 _aPT
_bUAb-Lisboa
_c20120518
942 _cMON
_n0