LEADER 01330nam0 22003013i 450 
001 CAG0104316
005 20170908093252.0
010   $a8842022950
100   $a20110701d2001    ||||0itac50      ba
101 | $aita
102   $ait
181  1$6z01$ai $bxxxe  
182  1$6z01$an
200 1 $aIntroduzione a Comte$fdi Antimo Negri
205   $a3. ed
210   $aRoma [etc.!$cLaterza$d2001
215   $a249 p.$d18 cm.
225 | $a˜I œfilosofi$v35
410  0$1001CFI0000853$12001 $a˜I œfilosofi$v35
517 1 $aComte.$9RAV0214713
700  1$aNegri$b, Antimo$3CFIV001170$4070$045427
801  3$aIT$bIT-NA0079$c20110701
850   $aIT-NA0261
912   $aCAG0104316
950  0$aBiblioteca San Luigi  'Facolta Teologica'$bv. 1; 3-4; 6-7; 9-10; 12; 14; 16-17; 19; 21-23; 26-32; 34-37; 39-43; 49-50; 53-62; 53(5. ed.); 66-68; 72-74; 77-79; 81; 83-88; 90-91; 93; 95-99$cv. 1; 3(5);4(12);6(6);7;9;10(18);12(10);14;16-17(12);19;21(5);22;23(11);26-27;28(5);29(14);30;31(8);32;34;  35(3);36(8);37;39(7);40(8);41-43;49;50(9);53(5);53-56;57(8);58-60;61(5);62;66(8);67-68;72-73;74(2);77;78(4);79;81;83-88;90-91;93;95-99$d FTFIL.      XXIII,                  4$e FT   0000737385    N F /35(3)              1 v.$fD $h20110701$i20110701
977   $a FT
996   $aIntroduzione a Comte$9628781
997   $aUNISANNIO

LEADER 01736nlm0 22004811i 450 
001 990009244540403321
010   $a9783540738176
035   $a000924454
035   $aFED01000924454
035   $a(Aleph)000924454FED01
035   $a000924454
100   $a20100926d2007----km-y0itay50------ba
101 0 $aeng
102   $aDE
135   $adrnn-008mamaa
200 1 $aRecent Advances in Constraints$bRisorsa elettronica$e11th Annual ERCIM International Workshop on Constraint Solving and Contraint Logic Programming, CSCLP 2006, Caparica, Portugal, June 26-28, 2006, Revised Selected and Invited Papers$fedi
210   $aBerlin ; Heidelberg$cSpringer$d2007
225 1 $aLecture Notes in Computer Science$x0302-9743$v4651
230   $aDocumento elettronico
336   $aTesto
337   $aFormato html, pdf
702  1$aAzevedo,$bFrancisco
702  1$aBarahona,$bPedro
702  1$aFages,$bFrançois
702  1$aRossi,$bFrancesca
801  0$aIT$bUNINA$gREICAT$2UNIMARC
856 4 $zFull text per gli utenti Federico II$uhttp://dx.doi.org/10.1007/978-3-540-73817-6
901   $aEB
912   $a990009244540403321
961   $aAlgorithm Analysis and Problem Complexity
961   $aArtificial intelligence
961   $aArtificial Intelligence (incl. Robotics)
961   $aComputer science
961   $aComputer Science
961   $aComputer software
961   $aElectronic data processing
961   $aLogic design
961   $aLogics and Meanings of Programs
961   $aMathematical Logic and Formal Languages
961   $aNumeric Computing
961   $aProgramming Languages, Compilers, Interpreters
996   $aRecent Advances in Constraints$9772535
997   $aUNINA