Isabelle

Results: 1487



#Item
251

Tutorial to Locales and Locale Interpretation∗ Clemens Ballarin Abstract Locales are Isabelle’s approach for dealing with parametric theories. They have been designed as a module system for a theorem prover

Add to Reading List

Source URL: isabelle.in.tum.de

Language: English - Date: 2016-02-17 10:48:15
    252

    “Space for Earth”: the case of Space & Migration Isabelle Duvaux-Béchon, Head Global Challenges and Partnerships Coordination Office EISC,

    Add to Reading List

    Source URL: www.eisc-europa.eu

    Language: English - Date: 2016-05-17 04:13:46
      253

      PDF Document

      Add to Reading List

      Source URL: isabelle.in.tum.de

      Language: English - Date: 2016-02-17 10:48:41
        254

        Barberousse, le voleur d’enfants Isabelle et son illustrissime et grande troupe de comédiens doivent, ce jour, interpréter pour vous l’histoire du terrible Barberousse. Oui, mais la troupe s’est dispersée et ils

        Add to Reading List

        Source URL: www.theatre-en-action.org

        Language: French - Date: 2016-01-18 10:22:12
          255

          PDF Document

          Add to Reading List

          Source URL: isabelle.in.tum.de

          Language: English - Date: 2016-02-17 10:48:05
            256

            PROLIFERATED DRONES A Perspective on Russia By Isabelle Facon

            Add to Reading List

            Source URL: drones.cnas.org

            Language: English - Date: 2016-05-11 21:54:19
              257

              Isabelle Lamouline Rue des Moissons,, Bruxelles E-mail : Tél :GSM :

              Add to Reading List

              Source URL: anakrouze.be

              Language: French - Date: 2014-01-10 14:55:58
                258

                Charles Gillibert présente ISABELLE HUPPERT L’AVE NIR

                Add to Reading List

                Source URL: www.filmsdulosange.fr

                Language: French - Date: 2016-02-15 09:20:12
                  259

                  PDF Document

                  Add to Reading List

                  Source URL: isabelle.in.tum.de

                  Language: English
                    260

                    Interpretation of Locales in Isabelle: Theories and Proof Contexts Clemens Ballarin Fakult¨at f¨ur Informatik Technische Universit¨at M¨unchenGarching, Germany

                    Add to Reading List

                    Source URL: www21.in.tum.de

                    Language: English - Date: 2006-05-15 04:20:54
                      UPDATE