LEADER 01039nam a2200265 i 4500 001 991003248459707536 005 20020503185433.0 008 010315s1946 ag ||| | spa 035 $ab10478966-39ule_inst 035 $aEXGIL117649$9ExL 040 $aBiblioteca Interfacoltà$bita 082 0 $a918.041 100 1 $aCarrio de la Vandera, Alonso$0395392 245 13$aEl lazarillo de ciegos caminantes desde Buenos Aires hasta Lima /$c[por] Concolorcorvo [pseud.] 250 $a2. ed 260 $aBuenos Aires :$bEspasa Calpe Argentina,$c[1946] 300 $a255 p. ;$c18 cm. 490 0 $aColecciòn austral ;$v609 650 4$aAmerica Latina - Descrizioni e viaggi 907 $a.b10478966$b21-02-17$c27-06-02 912 $a991003248459707536 945 $aLE002 Fondo Bodini Sp. 298$g1$iLE002-65295/P7$lle002$o-$pE0.00$q-$rn$so $t0$u0$v0$w0$x0$y.i10552996$z27-06-02 996 $aLazarillo de ciegos caminantes desde Buenos Aires hasta Lima$9213711 997 $aUNISALENTO 998 $ale002$b01-01-01$cm$da $e-$fspa$gag $h3$i1 LEADER 02333nam0 22004933i 450 001 AQ10007620 005 20251003044041.0 010 $a038758241X$bNew York 010 $a354058241X$bBerlin 100 $a20120120d1994 ||||0itac50 ba 101 | $aeng 102 $ade 181 1$6z01$ai $bxxxe 182 1$6z01$an 183 1$6z01$anc$2RDAcarrier 200 1 $aTemporal logic$efirst international conference, ICTL '94$eBonn, Germany, July 11-14, 1994$eproceedings$fDov M. Gabbay, Hans Jurgen Ohlbach (eds.) 210 $aBerlin [etc.]$cSpringer$dc1994 215 $aXI, 545 p.$d24 cm 225 | $aLecture notes in computer science$fedited by G. Goos and J. Hartmanis$i. Lecture notes in artificial intelligence$v827 410 0$1001MIL0132980$12001 $aLecture notes in computer science$fedited by G. Goos and J. Hartmanis$i. Lecture notes in artificial intelligence$v827 606 $aLogica simbolica$xCongressi$x1994$2FIR$3NAPC242562$9I 606 $aLogica matematica$xCongressi$x1994$2FIR$3NAPC242563$9I 676 $a511.3$9LOGICA MATEMATICA (LOGICA SIMBOLICA)$v14 676 $a511.3$9LOGICA MATEMATICA (LOGICA SIMBOLICA)$v22 696 $aConvegni$aCongressi e convegni 696 $aConvegni$aCongressi e convegni$aLogica simbolica$aLogica matematica 699 $aCongressi$yConvegni 699 $aCongressi$yCongressi e convegni 699 $aCongressi$yConvegni 699 $aCongressi$yCongressi e convegni 699 $aLogica matematica$zLogica simbolica 699 $aLogica matematica$yLogica matematica 702 1$aOhlbach$b, Hans Jurgen$3AQ1V004027 702 1$aGabbay$b, Dov M.$3UFIV060549 710 12$aInternational conference on temporal logic$d <1.$f ; 1994$e ; Bonn>$3NAPV120566$4070$0714646 790 1$aGabbay$b, Dov$3UFIV060551$zGabbay, Dov M. 791 12$aICTL '94$d <1.$f ; 1994$e ; Bonn>$3NAPV120567$zInternational conference on temporal logic <1. ; 1994 ; Bonn> 801 3$aIT$bIT-000000$c20120120 850 $aIT-BN0095 912 $aAQ10007620 950 0$aBiblioteca Centralizzata di Ateneo$c43 v.$d 01COLL. ING LNAI$e 0102 0000022445 VMA A4(0827 v. 827$fY $h19960219$i20120120 977 $a 01 996 $aTemporal logic$91381985 997 $aUNISANNIO