LEADER 01125nam--2200373---450- 001 990003668420203316 005 20120607094537.0 010 $a978-84-9704-512-4 035 $a000366842 035 $aUSA01000366842 035 $a(ALEPH)000366842USA01 035 $a000366842 100 $a20120607d2011----km-y0itay50------ba 101 $aspa 102 $aES 105 $a||||||||001yy 200 1 $aLos diccionarios del español moderno$fPedro Álvarez de Miranda 210 $aSomonte-Cenero (Gijón)$cTrea$d2011 215 $a264 p.$cill.$d24 cm 225 2 $aBiblioteconomía y administración cultural$v236 410 0$12001$aaBiblioteconomía y administración cultural 454 1$12001 461 1$1001-------$12001 606 0 $aLingua spagnola$xLessicografia$2BNCF 676 $a468.1 700 1$aÁLVAREZ DE MIRANDA,$bPedro$0612478 801 0$aIT$bsalbc$gISBD 912 $a990003668420203316 951 $aI.13.B.39$b843 DIPSUM 959 $aBK 969 $aDSLL 979 $aMARANO$b90$c20120607$lUSA01$h0945 996 $aLos diccionarios del español moderno$91141136 997 $aUNISA LEADER 01545nam0 22003853i 450 001 UFI0156266 005 20251003044427.0 010 $a0262023539 100 $a20080206d1993 ||||0itac50 ba 101 | $aeng 102 $aus 181 1$6z01$ai $bxxxe 182 1$6z01$an 200 1 $aConstraint logic programming$eselected research$fedited by Frederic Benhamou and Alain Colmerauer 210 $aCambridge, Mass. [etc.]$cMIT press$dc1993 215 $aXIV, 486 p.$d24 cm. 225 | $aLogic programming 410 0$1001UBO0009672$12001 $aLogic programming 606 $aLogica matematica$xApplicazioni alla programmazione degli elaboratori elettronici$2FIR$3UFIC015487$9I 606 $aElaboratori elettronici$xProgrammazione$2FIR$3CFIC000860$9E 676 $a005.1$9PROGRAMMAZIONE$v14 676 $a005.115$9PROGRAMMAZIONE LOGICA$v22 696 $aLogica simbolica$aLogica matematica 699 $aLogica matematica$zLogica simbolica 699 $aLogica matematica$yLogica matematica 702 1$aBenhamou$b, Frederic$3UFIV082882 702 1$aColmerauer$b, Alain$3UFIV082884 801 3$aIT$bIT-000000$c20080206 850 $aIT-BN0095 901 $bNAP 01$cSALA DING $n$ 912 $aUFI0156266 950 0$aBiblioteca Centralizzata di Ateneo$c1 v.$d 01SALA DING 005.1 CONLP$e 0102 0000017105 VMA A4 1 v.$fY $h20080206$i20080206 977 $a 01 996 $aConstraint logic programming$91575994 997 $aUNISANNIO