LEADER 01241nam2-2200385---4500
001 990000593180203316
005 20050520122525.0
010   $a88-250-0692-6
035   $a0059318
035   $aUSA010059318
035   $a(ALEPH)000059318USA01
035   $a0059318
100   $a20010828d1997----km-y0ENGy0103----ba
101   $aita
102   $aIT
200 1 $a"Liber miraculorum" e altri medievali$fintroduzione, testi critici, versione italiana a fronte a cura di Vergilio Gamboso$v5
210   $aPadova$cMessaggero$d1997
215   $a810 p.$c15 c. di tav., ill.$d22 cm
410   $12001
461   $10010059317$12001$aFonti agiografiche antoniane
606   $aAntonio : da Padova <santo>$xBiografia$xFonti
676   $a292.092
702  1$aGAMBOSO,$bVergilio
712 02$aCentro studi antoniani
801  0$aIT$bsalbc$gISBD
912   $a990000593180203316
951   $aII.2. 2662(XIV COLL. 162/5)$b135243 LM$cXIV COLL
959   $aBK
969   $aUMA
979   $aPATRY$b90$c20010828$lUSA01$h1508
979   $c20020403$lUSA01$h1708
979   $aPATRY$b90$c20040406$lUSA01$h1641
979   $aCOPAT6$b90$c20050520$lUSA01$h1225
996   $a"Liber miraculorum" e altri medievali$9883207
997   $aUNISA

LEADER 01130nam a2200301 i 4500
001 991001408119707536
005 20020507192926.0
008 970709s1970    de            ||| | eng  
035   $ab10843486-39ule_inst
035   $aLE01311827$9ExL
040   $aDip.to Matematica$beng
082 0 $a511.3
084   $aAMS 03-06
100 1 $aLaudet, M.$048503
245 10$aSymposium on automatic demonstration /$cedited by M. Laudet ... [et. al.]
260   $aBerlin ; New York :$bSpringer-Verlag,$c1970
300   $a310 p. ;$c26 cm
490 0 $aLecture notes in mathematics,$x0075-8434 ;$v125
500   $aEnglish or French.
500   $aIncludes bibliographies
650  0$aAutomatic theorem proving$xCongresses
711 2 $aSymposium on automatic demonstration <1968 ; Versailles>
907   $a.b10843486$b23-02-17$c28-06-02
912   $a991001408119707536
945   $aLE013 03-XX LAU11 (1970)$g1$i2013000089034$lle013$o-$pE0.00$q-$rl$s-  $t0$u0$v0$w0$x0$y.i10953681$z28-06-02
996   $aSymposium on automatic demonstration$9919209
997   $aUNISALENTO
998   $ale013$b01-01-97$cm$da  $e-$feng$gde $h0$i1