Exploring formalisation : a primer in human-readable mathematics in Lean 3 with examples from simplicial topology / / Clara Löh

• Record Nr.: UNISA996490345603316
• Autore: Löh Clara
• Pubbl/distr/stampa: Cham, Switzerland : , : Springer, , [2022]; ©2022
• ISBN: 9783031146497; 9783031146480
• Descrizione fisica: 1 online resource (152 pages)
• Collana: Surveys and Tutorials in the Applied Mathematical Sciences ; ; v.11
• Disciplina: 005.1
• Soggetti: Automatic theorem proving - Computer programs; Demostració automàtica de teoremes; Programes d'ordinador; Llibres electrònics
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Nota di bibliografia: Includes bibliographical references and index.

Health policy

• Record Nr.: UNINA9910145936603321
• Pubbl/distr/stampa: Amsterdam [Netherlands], : Elsevier
• ISSN: 1872-6054
• Disciplina: 362.1
• Soggetti: Medical education; Medical policy; Medical care; Health education; Health planning; Medical education - Periodicals; Delivery of Health Care; Education, Medical; Health Education; Health Planning; Public Policy; Enseignement médical - Périodiques; Politique sanitaire - Périodiques; Enseignement médical; Politique sanitaire; Prestation de soins; Éducation sanitaire; Santé publique - Planification; Periodical; periodicals.; Periodicals.; Périodiques.
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Periodico
• Note generali: Refereed/Peer-reviewed; "Published in collaboration with the National Commission for Health Certifying Agencies."