Etiqueta de registo: 00254nam 2200025 450
001 2133962
003 http://id.bnportugal.gov.pt/bib/catbnp/2133962
100 ## $a20230607d2023 k y0pory01030103ba
101 0# $aeng$dpor
102 ## $aPT
105 ## $ay m 000yy
106 ## $ar
200 1# $aType assignment in logic programming$fJoão Luís Alves Barbosa$gorient. António Mário da Silva Marcos Florido, Vítor Manuel da Silva Santos Costa
210 #9 $aPorto$c[s.n.],$d2023
215 ## $aXIX, 132 p.$d30 cm
328 #1 $aTese dout. Ciência de Computadores, Fac. de Ciências, Univ. do Porto, 2023
675 ## $a004.42(043)$vBN$zpor$3793077
700 #1 $aBarbosa,$bJoão Luís Alves$31884317
702 #1 $aFlorido,$bAntónio Mário da Silva Marcos$4727$3797898
702 #1 $aCosta,$bVitor Manuel da Silva$4727$3916636
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mFGMON$sP. 63804 V.$x1
971 ## $cjbeatriz$d20230607
972 ## $e0$z0$d20230925$vmsebas
973 ## $cmcarvalho$d20230908