01095nam a22002531i 450099100081658970753620040203110138.0040220s1957 fr |||||||||||||||||fre b12674746-39ule_instARCHE-067308ExLDip.to Scienze pedagogicheitaA.t.i. Arché s.c.r.l. Pandora Sicilia s.r.l.640Mathiot, Ginette467147Comment enseigner l'éducation ménagère, ou les éléments de l'art de former une maîtresse de maison /Ginette Mathiot[Paris] :Fernand Nathan,19571 v. ;19 cmBibliothèque pédagogique ;6Economia domesticaInsegnamento.b1267474602-04-1417-03-04991000816589707536LE022 MP 76 A 3912022000089326le022-E0.00-l- 00000.i1318418017-03-04Comment enseigner l'éducation ménagère, ou les éléments de l'art de former une maîtresse de maison273283UNISALENTOle02217-03-04ma -frefr 0101747nam 2200481 450 99649034560331620231110211910.09783031146497(electronic bk.)9783031146480(MiAaPQ)EBC7100666(Au-PeEL)EBL7100666(CKB)24950009000041(PPN)264954971(EXLCZ)992495000900004120230222d2022 uy 0engurcnu||||||||txtrdacontentcrdamediacrrdacarrierExploring formalisation a primer in human-readable mathematics in Lean 3 with examples from simplicial topology /Clara LöhCham, Switzerland :Springer,[2022]©20221 online resource (152 pages)Surveys and Tutorials in the Applied Mathematical Sciences ;v.11Print version: Löh, Clara Exploring Formalisation Cham : Springer International Publishing AG,c2022 9783031146480 Includes bibliographical references and index.Surveys and Tutorials in the Applied Mathematical Sciences Automatic theorem provingComputer programsDemostració automàtica de teoremesthubProgrames d'ordinadorthubLlibres electrònicsthubAutomatic theorem provingComputer programs.Demostració automàtica de teoremesProgrames d'ordinador005.1Löh Clara767630MiAaPQMiAaPQMiAaPQ996490345603316Exploring Formalisation2919476UNISA