Etiqueta de registo: 00230nam 2200025 450
001 1702811
003 http://id.bnportugal.gov.pt/bib/catbnp/1702811
100 ## $a20090217d2006 k y0pory0103 ba
101 0# $apor
102 ## $aPT
105 ## $ay m 000yy
106 ## $ar
200 1# $aDynamic logic programming and 3APL$bTexto policopiado]$fVivek Nigam$gorient. João Alexandre Leite
210 #9 $aLisboa$c[s.n.],$d2006
215 ## $a96 p.$d31 cm
215 ## $a1 disco óptico (CD-ROM) em caixa$cil.$d13 x 14 x 1 cm
305 ## $aEd. impressa e em CD-ROM
320 ## $aContém bibliografia
328 #0 $bTese mestr.$cLógica Computacional$eDep. de Informática, Fac. de Ciências e Tecnologia, Univ. Nova de Lisboa$d2006
675 ## $a004.43(043)$vBN$zpor$31253292
675 ## $a519.6(043)$vBN$zpor$31220290
700 #1 $aNigam,$bVivek$31363186
702 #1 $aLeite,$bJoão Alexandre Carvalho Pinheiro$4727$3282210
712 02 $aUniversidade Nova de Lisboa.$bFaculdade de Ciências e Tecnologia.$bDepartamento de Informática$4295$31213513
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mDEM$sP. 15733 P.$x1
966 ## $lBN$mFGMON$sP. 3807 A.$x1