LEADER 00975nam2-22003251i-450- 001 990000229920403321 035 $a000022992 035 $aFED01000022992 035 $a(Aleph)000022992FED01 035 $a000022992 100 $a20011111d--------km-y0itay50------ba 101 0 $aita 105 $ay-------001yy 200 1 $a1. : Théorie des voutes et des murs desoutenement : texte. XI, 375 p. : ill. 210 $aParis$cDunod$d1864- 215 $av.$d24 cm 461 0$1001000010933$12001$aTraite de la stabilite des constructions 610 0 $aVolte 610 0 $aMuri di sostegno 676 $a624.177 700 1$aScheffler,$bHermann$07069 702 1$aFournie,$bVictor 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990000229920403321 952 $a13 AR 22 B 07$b3905/a$fFINBC 959 $aFINBC 996 $a1. : Théorie des voutes et des murs desoutenement : texte. XI, 375 p. : ill$9123191 997 $aUNINA DB $aING01 LEADER 02448nam0 22005413i 450 001 VAN0250134 005 20230531023106.800 017 70$2N$a9789811572616 100 $a20220913d2020 |0itac50 ba 101 $aeng 102 $aSG 105 $a|||| ||||| 200 1 $aFormalization of Complex Analysis and Matrix Theory$fZhiping Shi, Yong Guan, Ximeng Li 210 $aSingapore$cSpringer ; Beijing$cTsinghua University$d2020 215 $ax, 168 p.$cill.$d24 cm 500 1$3VAN0250135$aFormalization of Complex Analysis and Matrix Theory$92909535 606 $a68-XX$xComputer science [MSC 2020]$3VANC019670$2MF 606 $a15-XX$xLinear and multilinear algebra; matrix theory [MSC 2020]$3VANC020607$2MF 606 $a30-XX$xFunctions of a complex variable [MSC 2020]$3VANC020785$2MF 606 $a68V20$xFormalization of mathematics in connection with theorem provers [MSC 2020]$3VANC037165$2MF 610 $aAlgebraic Systems$9KW:K 610 $aFormal Verification$9KW:K 610 $aFormalization of Complex Analysis$9KW:K 610 $aFormalization of Mathematical Theories$9KW:K 610 $aFormalization of Matrix Theory$9KW:K 610 $aFourier analysis$9KW:K 610 $aFunction Matrices$9KW:K 610 $aGauge Integration Inner-product Spaces$9KW:K 610 $aHigher Order Logic$9KW:K 610 $aInteractive Theorem Provers$9KW:K 610 $aInteractive Theorem Proving$9KW:K 610 $aMechanization of Mathematical Theories$9KW:K 610 $aProof Assistants$9KW:K 620 $aSG$dSingapore$3VANL000061 620 $dBeijing$3VANL001586 700 1$aShi$bZhiping$3VANV204421$01005287 701 1$aGuan$bYong$3VANV198873$01213863 701 1$aLi$bXimeng$3VANV204422$01254932 712 $aSpringer $3VANV108073$4650 712 $aTsinghua university$3VANV114356$4650 801 $aIT$bSOL$c20240614$gRICA 856 4 $uhttp://doi.org/10.1007/978-981-15-7261-6$zE-book ? Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o Shibboleth 899 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$1IT-CE0120$2VAN08 912 $fN 912 $aVAN0250134 950 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08CONS e-book 4954 $e08eMF4954 20220913 996 $aFormalization of Complex Analysis and Matrix Theory$92909535 997 $aUNICAMPANIA