LEADER 01557nam2-2200445li-450 001 990000197180203316 005 20170914105454.0 010 $a88-7021-383-3 035 $a0019718 035 $aUSA010019718 035 $a(ALEPH)000019718USA01 035 $a0019718 100 $a2001991061986-------y0itay0103----ba 101 0 $aita 102 $aIT 200 1 $aFondamenti di programmazione logica$ei suoi rapporti con la logica e lamatematica$fJohn W. Lloyd$gedizione italiana a cura di Mauro Boscarol 210 $aPadova$cFranco Muzzio$d1986 215 $aX, 155 p.$cill.$d21 cm 225 2 $aIntelligenza artificiale e robotica$v6 300 $aTrad. di: foundations of logic programming 410 0$10010019714$12001$aIntelligenza artificiale e robotica$vIAR 606 1 $aProgrammazione$2BNCF 676 $a005.1$9Programmazione. Tecnica di sviluppo dei programmi 700 1$aLLOYD,$bJohn W.$052996 702 1$aBOSCAROL,$bMauro 801 $aSistema bibliotecario di Ateneo dell' Università di Salerno$gRICA 912 $a990000197180203316 951 $a005.1 LLO$b0012923 959 $aBK 969 $aSCI 979 $c19910617 979 $c20001110$lUSA01$h1713 979 $c20020403$lUSA01$h1627 979 $aPATRY$b90$c20040406$lUSA01$h1614 979 $aPATRY$b90$c20060623$lUSA01$h1559 979 $aANGELA$b90$c20101013$lUSA01$h1540 979 $aANGELA$b90$c20101013$lUSA01$h1551 979 $aANGELA$b90$c20101013$lUSA01$h1552 996 $aFondamenti di programmazione logica$9341435 997 $aUNISA LEADER 02015nam0 2200493 i 450 001 VAN0029954 005 20231124115027.975 010 $a03-87905-18-9 100 $a20041209d1974 |0itac50 ba 101 $aeng 102 $aUS 105 $a|||| ||||| 200 1 $aAlgebra$fThomas W. Hungerford 210 $aNew York [etc.]$cSpringer$d1974 215 $aXXIII, 502 p.$d24 cm 410 1$1001VAN0023579$12001 $aGraduate texts in mathematics$1210 $aNew York [etc.]$cSpringer$v73 606 $a20-XX$xGroup theory and generalizations [MSC 2020]$3VANC019715$2MF 606 $a13-XX$xCommutative algebra [MSC 2020]$3VANC019732$2MF 606 $a16-XX$xAssociative rings and algebras [MSC 2020]$3VANC019734$2MF 606 $a18-XX$xCategory theory; homological algebra [MSC 2020]$3VANC019745$2MF 606 $a12-XX$xField theory and polynomials [MSC 2020]$3VANC019746$2MF 606 $a15-XX$xLinear and multilinear algebra; matrix theory [MSC 2020]$3VANC020607$2MF 610 $aAdjoint functor$9KW:K 610 $aAlgebra$9KW:K 610 $aCoproduct$9KW:K 610 $aFields$9KW:K 610 $aFinite Groups$9KW:K 610 $aGalois theory$9KW:K 610 $aHomomorphism$9KW:K 610 $aLinear algebra$9KW:K 610 $aMatrices$9KW:K 610 $aSemigroups$9KW:K 610 $aTransformation$9KW:K 620 $aUS$dNew York$3VANL000011 700 1$aHungerford$bThomas W.$3VANV024792$042052 712 $aSpringer $3VANV108073$4650 790 1$aHungerford, T. W.$zHungerford, Thomas W.$3VANV062484 801 $aIT$bSOL$c20240614$gRICA 856 4 $u/sebina/repository/catalogazione/documenti/algebra.pdf$zalgebra.pdf 899 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$1IT-CE0120$2VAN08 912 $aVAN0029954 950 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08PREST 12-XX 1992 $e08 1895 I 20041209 996 $aAlgebra$996766 997 $aUNICAMPANIA LEADER 01733nam0 2200361 i 450 001 VAN0065559 005 20221206034446.821 010 $a978-03-87336-46-6 100 $a20080918d2006 |0itac50 ba 101 $aeng 102 $aUS 105 $a|||| ||||| 200 1 $aTechniques of constructive analysis$fDouglas D. Bridges and Luminita Simona Vita 210 $aNew York$cSpringer$d2006 215 $aXVI, 213 p.$d24 cm 410 1$1001VAN0024506$12001 $aUniversitext$1210 $aBerlin [etc]$cSpringer$d1930- 606 $a03F60$xConstructive and recursive analysis [MSC 2020]$3VANC024451$2MF 606 $a26E40$xConstructive real analysis [MSC 2020]$3VANC025535$2MF 606 $a46S30$xConstructive functional analysis [MSC 2020]$3VANC025536$2MF 606 $a47S30$xConstructive operator theory [MSC 2020]$3VANC025537$2MF 620 $aUS$dNew York$3VANL000011 700 1$aBridges$bDouglas S.$3VANV042155$051513 701 1$aVita$bLuminita Simona$3VANV052132$0427355 712 $aSpringer $3VANV108073$4650 790 1$aBridges, Douglas$zBridges, Douglas S.$3VANV042157 790 1$aBridges, D. S.$zBridges, Douglas S.$3VANV042158 801 $aIT$bSOL$c20240614$gRICA 856 4 $u/sebina/repository/catalogazione/documenti/Bridges, Vita - Techniques of constructive analysis.pdf$zBridges, Vita - Techniques of constructive analysis.pdf 899 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$1IT-CE0120$2VAN08 912 $aVAN0065559 950 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08PREST 03-XX 0552 $e08 8242 III 20081203 996 $aTechniques of constructive analysis$9729653 997 $aUNICAMPANIA