LEADER 01464nam0 22003253i 450 
001 NAP0390312
005 20251003044248.0
010   $a887005778X
100   $a20071121d1994    ||||0itac50      ba
101 | $aita
102   $ait
181  1$6z01$ai $bxxxe  
182  1$6z01$an
200 1 $aInformatica teorica$fCarlo Ghezzi, Dino Mandrioli
210   $aMilano$cCittāStudi$d1994
215   $a527 p.$cill.$d24 cm$e4 p. errata corrige ; 30 cm ripieg. a 15 cm
300   $aBibliografia: P. 515-527.
606   $aElaboratori elettronici$xLinguaggi$2FIR$3CFIC016394$9I
676   $a005.13$9LINGUAGGI DI PROGRAMMAZIONE$v14
676   $a005.131$9Linguaggi di programmazione. Logica simbolica (Logica matematica)$v22
700  1$aGhezzi$b, Carlo$3CFIV063065$4070$08004
701  1$aMandrioli$b, Dino$f <1949-    >$3CFIV063177$4070$08757
801  3$aIT$bIT-000000$c20071121
850   $aIT-BN0095          
901   $bNAP 01$cSALA DING $n$
912   $aNAP0390312
950  0$aBiblioteca Centralizzata di Ateneo$b1 v. (2. copia)$c1 v. in due copie$d 01SALA DING 005.13                  GHE.in$e 0102 0000029155  VMA A4                    1 v. (4. rist. 1998)$fY $h20071121$i20071121$b1 v. (2. copia)$c1 v. in due copie$d 01SALA DING 005.13                  GHE.in$e 0102 0000029165  VMA A4(bis                1 v. (4. rist. 1998;2. copia)$fA $h20071121$i20071121
977   $a 01
996   $aInformatica teorica$9104085
997   $aUNISANNIO