LEADER 00917nam0-22003371i-450- 001 990005679600403321 005 20081113095411.0 035 $a000567960 035 $aFED01000567960 035 $a(Aleph)000567960FED01 035 $a000567960 100 $a19990604d1967----km-y0itay50------ba 101 0 $aita 102 $aIT 105 $aa-------00--- 200 1 $aFrancesco Borromini$fPaolo Portoghesi 210 $aMilano$cElecta$dc1967 215 $a488 p.$cill.$d30 cm 225 1 $aDocumenti di architettura 610 0 $aBorromini, Francesco 676 $a720.945$v21$zita 700 1$aPortoghesi,$bPaolo$f<1931- >$08458 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990005679600403321 952 $a720.945 BOR 1 (BIS)$bBIBL. 59531$fFLFBC 952 $a12.171$b1137$fDARST 959 $aFLFBC 959 $aDARST 996 $aFrancesco Borromini$9219233 997 $aUNINA LEADER 00968oam 2200265z- 450 001 996465556603316 005 20211005005702.0 035 $a(CKB)1000000000234650 035 $a(MiAaPQ)EBC6489881 035 $a(EXLCZ)991000000000234650 100 $a20210330c1997uuuu -u- - 101 0 $aeng 200 10$aAutomated deduction, CADE-14 $e14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13-17, 1997 : proceedings /$fWilliam McCune, ed 210 $cSpringer Berlin / Heidelberg 311 $a3-540-63104-6 606 $aAutomatic theorem proving$xCongresses 606 $aLogic, Symbolic and mathematical$xCongresses 615 0$aAutomatic theorem proving$xCongresses. 615 0$aLogic, Symbolic and mathematical$xCongresses. 676 $a006.3/33 701 $aMcCune$b William$0982586 906 $aBOOK 912 $a996465556603316 996 $aAutomated deduction, CADE-14$92860382 997 $aUNISA LEADER 01406nam2 22003133i 450 001 VAN00122361 005 20240806100810.757 010 $a88-02-03829-5 100 $a20190704d1999 |0itac50 ba 101 $aita 102 $aIT 105 $a|||| ||||| 200 1 $aˆ11: Il ‰Ducato di Milano dal 1535 al 1796$fDomenico Sella, Carlo Capra 205 $aRist 210 $aTorino$cUTET$d1999 215 $aXI, 684 p., [20] c. di tav.$cill.$d25 cm. 461 1$1001VAN00006051$12001 $aStoria d'Italia$fdiretta da Giuseppe Galasso$1210 $aTorino$cUTET$d[1976]-$1215 $avolumi$d24 cm.$v11 620 $dTorino$3VANL000001 700 1$aSella$bDomenico$3VANV035669$0134246 701 1$aCapra$bCarlo$f1938- $3VANV073662$0134247 712 $aUTET $3VANV107949$4650 801 $aIT$bSOL$c20240906$gRICA 899 $aBIBLIOTECA DEL DIPARTIMENTO DI ECONOMIA$1IT-CE0106$2VAN03 899 $aBIBLIOTECA DEL DIPARTIMENTO DI LETTERE E BENI CULTURALI$1IT-CE0103$2VAN07 912 $aVAN00122361 950 $aBIBLIOTECA DEL DIPARTIMENTO DI ECONOMIA$d03CONS Storia d'Italia1(11) $e03 32690 11 20170526 950 $aBIBLIOTECA DEL DIPARTIMENTO DI LETTERE E BENI CULTURALI$d07CONS Ve 786 $e07Om 914 20221024 996 $aDucato di Milano dal 1535 al 1796$9568295 997 $aUNICAMPANIA