ISABELLE

Results: 1487



#Item
591Childbirth / Pregnancy / Fertility / Labor induction / Midwifery / Caesarean section / Postterm pregnancy / Pre-eclampsia / Gynaecology / Medicine / Obstetrics / Reproduction

Elective induction of labour in France: Informing the patient Stéphanie Barré Isabelle Bongiovanni

Add to Reading List

Source URL: www.htai.org

Language: English - Date: 2009-02-23 17:53:14
592Logic in computer science / First-order logic / Isabelle / Higher-order logic / HOL / Modal logic / Unification / Natural deduction / Type theory / Logic / Mathematical logic / Theoretical computer science

PDF Document

Add to Reading List

Source URL: www.cl.cam.ac.uk

Language: English - Date: 2014-08-27 06:04:04
593Diabetes / Magnesium / Nutrition / Dietary minerals / Insulin resistance / Metabolic syndrome / Magnesium in biology / Uric acid / Diabetes mellitus / Health / Medicine / Biology

Low Serum Magnesium and Obesity – Causal Role or Diet Biomarker? ANURA V KURPAD AND ISABELLE AEBERLI Division of Nutrition, St John’s Research Institute, Bangalore, India.

Add to Reading List

Source URL: www.mgwater.com

Language: English - Date: 2014-12-09 00:43:39
594Nutrition / Dietary supplements / Self-care / European Prospective Investigation into Cancer and Nutrition / Biomarker / Metabolomics / Polyphenol / Antioxidant / Health effects of wine / Medicine / Health / Biology

Section of Nutrition Section head Dr Isabelle Romieu and

Add to Reading List

Source URL: www.iarc.fr

Language: English - Date: 2015-02-25 08:38:05
595

NOSJUNIORS.COM le site des parents de 6 à 12ans Article par Isabelle Mazarguil | 4 mars 2011 Jeux en famille Les ludothèques, pour jouer plus et mieux

Add to Reading List

Source URL: www.alf-ludotheques.org

Language: French - Date: 2014-06-10 09:46:40
    596

    S’informer à l’heure du numérique : une question d’experts ? Synthèse des débats1 Isabelle Bréda et Odile Chenevez, CRDP de l’académie d’Aix-Marseille - ORME es

    Add to Reading List

    Source URL: www.orme-multimedia.org

    Language: French - Date: 2010-05-06 03:48:17
      597

      Fil de l’exposition - Exhibition itinerary - Hilo de la exposicion 1- MATHILDE DE L’ÉCOTAIS Fogu blanc 2- ISABELLE ROZENBAUM

      Add to Reading List

      Source URL: www.institutfrancais.com

      Language: French - Date: 2013-10-22 06:42:03
        598

        NOSJUNIORS.COM le site des parents de 6 à 12ans Article par Isabelle Mazarguil | 5 mars 2011 Conso Jouets Combien de jeux pour un enfant heureux ?

        Add to Reading List

        Source URL: www.alf-ludotheques.org

        Language: French - Date: 2014-06-10 09:46:40
          599Applied mathematics / Formal methods / Isabelle / Logic for Computable Functions / HOL / B-Method / Vampire / Rodin / Theorem prover / Theoretical computer science / Mathematical software / Logic in computer science

          Isabelle Supports Rodin Matthias Schmalz Information Security Group, ETH Zurich April 28th, 2011

          Add to Reading List

          Source URL: www.ai4fm.org

          Language: English - Date: 2013-10-30 13:20:15
          600Predicate logic / Semantics / Program logic / Predicate / Propositional calculus / Quantification / Higher-order logic / Isabelle / Denotational semantics / Logic / Mathematical logic / Mathematics

          Isabelle/UTP: Mechanised Theory Engineering for Computer Scientists Simon Foster (with Frank Zeyda) University of York May 7, 2013

          Add to Reading List

          Source URL: www.cs.york.ac.uk

          Language: English - Date: 2013-07-12 06:22:09
          UPDATE