Isabelle

Results: 1487



#Item
231

MATEC Web of Conferences D2ME 2016 MATEC Web of Conferences – 170 x 250 mm paper size, one column format Isaline Boulven1,, Isabelle Houlbert2 and Agnès Henri1

Add to Reading List

Source URL: www.d2me.org

Language: English
    232

    PDF Document

    Add to Reading List

    Source URL: isabelle.in.tum.de

    Language: English - Date: 2016-02-17 10:46:45
      233

      What’s in Main Tobias Nipkow February 17, 2016 Abstract This document lists the main types, functions and syntax provided by theory Main. It is meant as a quick overview of what is available. For infix

      Add to Reading List

      Source URL: isabelle.in.tum.de

      Language: English - Date: 2016-02-17 10:48:35
        234

        1 Symmetry-Breaking Control of Rotating Waves Isabelle Schneider and Bernold Fiedler Institut f¨ ur Mathematik, Freie Universit¨ at Berlin, 14195 Berlin, Germany

        Add to Reading List

        Source URL: dynamics.mi.fu-berlin.de

        Language: English - Date: 2015-10-20 15:49:30
          235

          Tobias Nipkow Programming and Proving in Isabelle/HOL le l

          Add to Reading List

          Source URL: mirror.clarkson.edu

          Language: English - Date: 2016-02-17 10:48:55
            236

            L’Association Générale des Enseignants des Ecoles et classes Maternelles publiques vous souhaite une excellente annéePour le Conseil d’Administration National, Isabelle Racoffier

            Add to Reading List

            Source URL: www.ageem.fr

            - Date: 2015-12-31 08:40:41
              237

              Tobias Nipkow Programming and Proving in Isabelle/HOL le l

              Add to Reading List

              Source URL: isabelle.in.tum.de

              Language: English
                238

                Locales and Locale Expressions in Isabelle/Isar Clemens Ballarin Fakult¨ at f¨ ur Informatik Technische Universit¨

                Add to Reading List

                Source URL: www21.in.tum.de

                Language: English - Date: 2004-02-02 11:01:31
                  239

                  MATEC Web of Conferences IC4M 2017 MATEC Web of Conferences – 170 x 250 mm paper size, one column format Isaline Boulven1,, Isabelle Houlbert2 and Agnès Henri1

                  Add to Reading List

                  Source URL: www.ic4m.net

                  Language: English
                    240

                    COFRAC – Service Adhérents, 52 rue Jacques Hillairet, 75012 Paris Isabelle HANNI : E-mail : Organisme :

                    Add to Reading List

                    Source URL: www.cofrac.fr

                    Language: French - Date: 2016-01-18 07:22:17
                      UPDATE