LEADER 01660nam0 22003973i 450 001 VAN0277401 005 20240607123912.552 017 70$2N$a9783031146497 100 $a20240607d2022 |0itac50 ba 101 $aeng 102 $aCH 105 $a|||| ||||| 200 1 $aExploring Formalisation$eA Primer in Human-Readable Mathematics in Lean 3 with Examples from Simplicial Topology$fClara Löh 210 $aCham$cSpringer$d2022 215 $avi, 147 p.$cill.$d24 cm 410 1$1001VAN0249506$12001 $aSurveys and Tutorials in the Applied Mathematical Sciences$1210 $aBerlin [etc.]$cSpringer$v11 610 $aExamples in Lean$9KW:K 610 $aFormalization of mathematics$9KW:K 610 $aMathematics in Lean$9KW:K 610 $aProof assistant$9KW:K 610 $aSimplicial Complexes$9KW:K 610 $aSimplicial topology$9KW:K 610 $aTheorem prover$9KW:K 610 $aTutorial on lean$9KW:K 610 $aVerification of proofs$9KW:K 620 $aCH$dCham$3VANL001889 700 1$aLöh$bClara$3VANV095730$0767630 712 $aSpringer $3VANV108073$4650 801 $aIT$bSOL$c20240614$gRICA 856 4 $uhttps://doi.org/10.1007/978-3-031-14649-7$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 $aVAN0277401 950 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08CONS e-Book 8728 $e08eMF8728 20240610 996 $aExploring Formalisation$92919476 997 $aUNICAMPANIA LEADER 01149nam2 22002653i 450 001 VAN00126231 005 20240806100821.217 010 $a03-16-29211-7 100 $a20200117d1991 |0itac50 ba 101 $aeng 102 $aUS 105 $a|||| ||||| 200 1 $aˆ<<‰Securitization$estructured financing, financial assets pools and asset-backed securities>> 2 210 $a Boston$cLittle Brown and company$d1991 215 $aXLIX, 642 p. $d24 cm. 461 1$1001VAN00126228$12001 $aSecuritization$estructured financing, financial assets pools and asset-backed securities$fTamar Frankel$1210 $a Boston$cLittle Brown and company.$v2 620 $dBoston$3VANL000051 700 1$aFrankel$bTamar$3VANV097635$0278392 712 $aLittle Brown and company$3VANV115110$4650 801 $aIT$bSOL$c20240906$gRICA 899 $aBIBLIOTECA DEL DIPARTIMENTO DI GIURISPRUDENZA$1IT-CE0105$2VAN00 912 $aVAN00126231 950 $aBIBLIOTECA DEL DIPARTIMENTO DI GIURISPRUDENZA$d00CONS XX.Em.4 2 $e00 37242 20200117 996 $aSecuritization$9665115 997 $aUNICAMPANIA