LEADER 00949nam0-22003011i-450- 001 990000123760403321 035 $a000012376 035 $aFED01000012376 035 $a(Aleph)000012376FED01 035 $a000012376 100 $a20011111d--------km-y0itay50------ba 101 0 $aita 105 $ay-------001yy 200 1 $aRecueil méthodique et raisonné des lois et règlements sur la voirie$eles alignements et la police des constructions$fJ. B. Davenne. 205 $aNouvelle éd. 210 $aParis$cCarilian-Goeury$d1836 215 $a430 p.$d21 cm 610 0 $aStrade$aLegislazione 676 $a343.094 700 1$aDavenne,$bHenri Jean Baptiste$08050 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990000123760403321 952 $a13 AR 15 A 45$b2068$fFINBC 959 $aFINBC 996 $aRecueil méthodique et raisonné des lois et règlements sur la voirie$9114248 997 $aUNINA DB $aING01 LEADER 02439nam0 22004933i 450 001 AQ10003073 005 20251003044040.0 010 $a0387569928$bNew York 010 $a3540569928$bBerlin 100 $a20110927d1993 ||||0itac50 ba 101 | $aeng 102 $ade 181 1$6z01$ai $bxxxe 182 1$6z01$an 183 1$6z01$anc$2RDAcarrier 200 1 $aComputer science logic$e6. workshop, CSL '92$eSan Miniato, Italy, September 28-October 2, 1992$eproceedings$fE. Borger ... [et al.] (eds.) 210 $aBerlin [etc.]$cSpringer$d1993 215 $aVIII, 439 p.$d25 cm 225 | $aLecture notes in computer science$fedited by G. Goos and J. Hartmanis$v702 300 $aNella prefaz.: Computer science logic workshop 410 0$1001MIL0030703$12001 $aLecture notes in computer science$fedited by G. Goos and J. Hartmanis$v702$1702 1$aGoos$b, Gerhard$3AQ1V006441$4340 606 $aLOGICA MATEMATICA$xCONGRESSI$x1992$2FIR$3MILC069750$9I 606 $aINFORMATICA$xCONGRESSI$x1992$2FIR$3MILC102840$9I 676 $a004$9ELABORAZIONE DEI DATI. SCIENZA DEGLI ELABORATORI. INFORMATICA$v14 676 $a004.015113$9Elaborazione dei dati, Scienza degli elaboratori, Informatica. Principi matematici. Logica matematica (Logica simbolica)$v22 696 $aConvegni$aCongressi e convegni$aLogica simbolica$aLogica matematica 696 $aConvegni$aCongressi e convegni$aScienza degli elaboratori 699 $aCongressi$yConvegni 699 $aCongressi$yCongressi e convegni 699 $aLogica matematica$zLogica simbolica 699 $aLogica matematica$yLogica matematica 699 $aCongressi$yConvegni 699 $aCongressi$yCongressi e convegni 699 $aInformatica$yScienza degli elaboratori 702 1$aBörger$b, Egon$3CFIV068138 710 12$aWorkshop on computer science logic$d <6.$f ; 1992$e ; San Miniato>$3AQ1V001608$0756591 791 12$aWorkshop CSL '92$d <6.$f ; 1992$e ; San Miniato>$3TO0V164879$zWorkshop on computer science logic <6. ; 1992 ; San Miniato> 801 3$aIT$bIT-000000$c20110927 850 $aIT-BN0095 912 $aAQ10003073 950 0$aBiblioteca Centralizzata di Ateneo$c193 v.$d 01COLL. ING. LNCS$e 0102 0000013215 VMA FD702 v. 702$fY $h19940909$i20110927 977 $a 01 996 $aComputer science logic$91525532 997 $aUNISANNIO