Locale

Results: 1727



#Item
1Tutorial 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

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: 2018-08-15 07:19:09
2Tutorial 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

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: mirror.clarkson.edu

Language: English - Date: 2018-08-15 07:19:09
3Tutorial 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

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: www.cl.cam.ac.uk

Language: English - Date: 2018-08-15 07:19:09
4La Stabilita’ • La stabilità alla Lyapunov dei sistemi – Semplice – Asintotica – Esponenziale – Locale

La Stabilita’ • La stabilità alla Lyapunov dei sistemi – Semplice – Asintotica – Esponenziale – Locale

Add to Reading List

Source URL: www.dia.uniroma3.it

Language: Italian - Date: 2003-04-08 05:52:54
    510 Consulta Ligure: una “protagonista” della cultura locale Nello scenario della cultura “ligustica”, la Consulta Ligure sta diventando sempre più protagonista in quel processo di ricerca e di recupero delle pr

    10 Consulta Ligure: una “protagonista” della cultura locale Nello scenario della cultura “ligustica”, la Consulta Ligure sta diventando sempre più protagonista in quel processo di ricerca e di recupero delle pr

    Add to Reading List

    Source URL: www.acompagna.org

    Language: Italian - Date: 2018-02-23 07:23:51
      6POLIZIA LOCALE COMUNE DI MONDAVIO Provincia di Pesaro e UrbinoANAGRAFE CANINA

      POLIZIA LOCALE COMUNE DI MONDAVIO Provincia di Pesaro e UrbinoANAGRAFE CANINA

      Add to Reading List

      Source URL: www.comune.mondavio.pu.it

      - Date: 2018-01-30 07:24:10
        7RAPPORT DE RECHERCHE N° ATTRACTIVITE RESIDENTIELLE ET CROISSANCE LOCALE DE L’EMPLOI DANS LES ZONES D’EMPLOI METROPOLITAINES

        RAPPORT DE RECHERCHE N° ATTRACTIVITE RESIDENTIELLE ET CROISSANCE LOCALE DE L’EMPLOI DANS LES ZONES D’EMPLOI METROPOLITAINES

        Add to Reading List

        Source URL: www.tepp.eu

        Language: French - Date: 2018-02-27 04:42:35
          8´ DE SOLUTIONS DE L’EQUATION ´ EXISTENCE LOCALE ET UNICITE D’EULER ´ AVEC DES DONNEES ´

          ´ DE SOLUTIONS DE L’EQUATION ´ EXISTENCE LOCALE ET UNICITE D’EULER ´ AVEC DES DONNEES ´

          Add to Reading List

          Source URL: web.math.princeton.edu

          Language: English - Date: 2012-09-03 20:25:33
            9SETTORE SALUTE PUBBLICA, MEDICINA PREVENTIVA E RIABILITATIVA ENTE RICHIEDENTE INIZIATIVA CROCE ROSSA ITALIANA (comitato locale di Savigliano)

            SETTORE SALUTE PUBBLICA, MEDICINA PREVENTIVA E RIABILITATIVA ENTE RICHIEDENTE INIZIATIVA CROCE ROSSA ITALIANA (comitato locale di Savigliano)

            Add to Reading List

            Source URL: www.fondazionecrs.it

            Language: Italian - Date: 2018-05-08 11:05:42
              10

              Richiesta di Supporto Data: Rappresentante Locale: Sezione richiedente:

              Add to Reading List

              Source URL: www.anacna.it

              - Date: 2015-04-01 05:51:55