Etiqueta de registo: 00230nam 2200025 450
001 1702632
003 http://id.bnportugal.gov.pt/bib/catbnp/1702632
100 ## $a20090216d2005 k y0pory0103 ba
101 0# $aeng$dpor
102 ## $aPT
105 ## $ay m 000yy
106 ## $ar
200 1# $aExplorations in revised stable models$bTexto policopiado]$e a new semantics for logic programs$fAlexandre Miguel dos Santos Martins Pinto$gorient. Luís Moniz Pereira
210 #9 $aLisboa$c[s.n.],$d2005
215 ## $aXIV, 177 p.$d30 cm
215 ## $a1 disco óptico (CD-ROM)$d13 x 14 x 1 cm
305 ## $aEd. impressa e em CD-ROM
320 ## $aContém bibliografia
328 #0 $bTese mestr.$cInteligência Artificial Aplicada$eDep. de Informática, Fac. de Ciências e Tecnologia, Univ. Nova de Lisboa$d2005
675 ## $a004.82(043)$vBN$zpor$31209577
675 ## $a004.43(043)$vBN$zpor$31253292
700 #1 $aPinto,$bAlexandre Miguel dos Santos Martins$31362912
702 #1 $aPereira,$bLuís Moniz,$f1947-$4727$373262
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. 15741 P.$x1
966 ## $lBN$mFGMON$sP. 25651 V.$x1

Etiqueta de registo: 00230nam 2200025 450
001 1803153
003 http://id.bnportugal.gov.pt/bib/catbnp/1803153
100 ## $a20120210d2011 k y0pory0103 ba
101 0# $aeng$dpor
102 ## $aPT
105 ## $aa m 000yy
106 ## $ar
200 1# $aEvery normal logic program has a 2-valued semantics$etheory, extensions, applications, implementations$fAlexandre Miguel dos Santos Martins Pinto$gorient. Luís Moniz Pereira
210 #9 $aLisboa$c[s.n.],$d2011
215 ## $aXXIV, 194 p.$cil.$d30 cm
215 ## $a1 disco óptico (CD-ROM) em bolsa$cil.$d13 x 13 cm
305 ## $aEd. impressa e em CD-ROM
320 ## $aContém bibliografia
328 #1 $aTese dout. Informática, Fac. de Ciências e Tecnologia, Univ. Nova de Lisboa, 2011
675 ## $a004.82(043)$vBN$zpor$31209577
675 ## $a004.43(043)$vBN$zpor$31253292
700 #1 $aPinto,$bAlexandre Miguel dos Santos Martins$31362912
702 #1 $aPereira,$bLuís Moniz,$f1947-$4727$373262
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mDEM$sP. 19480 P.$x1
966 ## $lBN$mFGMON$sP. 34711 V.$x1

Etiqueta de registo: 00230nam 2200025 450
001 1932638
003 http://id.bnportugal.gov.pt/bib/catbnp/1932638
010 ## $a978-989-8647-58-0
021 ## $aPT$b406351/16
100 ## $a20160525d2016 m y0pory01030103ba
101 0# $apor
102 ## $aPT
105 ## $ay z 000yy
106 ## $ar
200 1# $a A máquina iluminada$ecognição e computação$fLuís Moniz Pereira$gcolab. Alexandre Miguel Pinto, António Lopes
205 ## $a1ª ed
210 #9 $a[Lisboa]$cFronteira do Caos,$d2016
215 ## $a259 p.$cil.$d24 cm
675 ## $a004.8$vBN$zpor$3898026
675 ## $a007$vBN$zpor$3288362
700 #1 $aPereira,$bLuís Moniz,$f1947-$373262
702 #1 $aPinto,$bAlexandre Miguel dos Santos Martins$4205$31362912
702 #1 $910$aLopes,$bAntónio$4205$31319324
801 #0 $aPT$bBN$gRPC
856 41 $uhttp://rnod.bnportugal.gov.pt/ImagesBN/winlibimg.aspx?skey=&doc=1932638&img=77132&save=true
900 ## $aBIBNAC$d20160614
966 ## $lBN$mFGMON$sP. 44623 V.$x1
966 ## $lBN$mFGMON$sP. 44623 V.-D$x1