LEADER 01749nam  2200481   450 
001 9910595451503321
005 20231110211910.0
010   $a9783031146497$b(electronic bk.)
010   $z9783031146480
035   $a(MiAaPQ)EBC7100666
035   $a(Au-PeEL)EBL7100666
035   $a(CKB)24950009000041
035   $a(PPN)264954971
035   $a(EXLCZ)9924950009000041
100   $a20230222d2022      uy             0
101 0 $aeng
135   $aurcnu||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aExploring formalisation $ea primer in human-readable mathematics in Lean 3 with examples from simplicial topology /$fClara Lo?h
210  1$aCham, Switzerland :$cSpringer,$d[2022]
210  4$dŠ2022
215   $a1 online resource (152 pages)
225 1 $aSurveys and Tutorials in the Applied Mathematical Sciences ;$vv.11
311 08$aPrint version: Löh, Clara Exploring Formalisation Cham : Springer International Publishing AG,c2022 9783031146480 
320   $aIncludes bibliographical references and index.
410  0$aSurveys and Tutorials in the Applied Mathematical Sciences 
606   $aAutomatic theorem proving$xComputer programs
606   $aDemostraciķ automātica de teoremes$2thub
606   $aProgrames d'ordinador$2thub
608   $aLlibres electrōnics$2thub
615  0$aAutomatic theorem proving$xComputer programs.
615  7$aDemostraciķ automātica de teoremes
615  7$aProgrames d'ordinador
676   $a005.1
700   $aLo?h$b Clara$0767630
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
912   $a9910595451503321
996   $aExploring Formalisation$92919476
997   $aUNINA