Isabelle

Results: 1487



#Item
291

Defining (Co)datatypes and Primitively (Co)recursive Functions in Isabelle/HOL Julian Biendarra, Jasmin Christian Blanchette, Martin Desharnais, Lorenz Panny, Andrei Popescu, and Dmitriy Traytel 17 February 2016

Add to Reading List

Source URL: isabelle.in.tum.de

Language: English - Date: 2016-02-17 10:46:34
    292

    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:13
      293

      Dialectique et négativité. La Dialectique négative, 50 ans après Colloque international organisé par Isabelle Aubert (Institut des Sciences Juridique et Philosophique de la Sorbonne - Centre de philosophie contempo

      Add to Reading List

      Source URL: f.hypotheses.org

      Language: French - Date: 2016-05-30 05:22:15
        294Software / Computing / Arial / HTML element / Emphasis / Author citation / Go

        MATEC Web of Conferences ICDES 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.icdes.org

        Language: English - Date: 2016-06-02 00:10:55
        295

        PDF Document

        Add to Reading List

        Source URL: isabelle.in.tum.de

        Language: English - Date: 2016-02-17 10:49:14
          296

          Relative abundances in DLAs (and the Galaxy): dust depletion, nucleosynthesis, and metallicity Annalisa De Cia1,2,Cédric Ledoux3, Lars Mattsson 4, Patrick Petitjean 5, Raghunathan Srianand6, Isabelle Gavignaud 7, Edward

          Add to Reading List

          Source URL: events.kuoni-dmc.com

          Language: English - Date: 2016-04-12 08:28:07
            297

            dossier Toujours aussi peu de femmes dans les métiers du numérique Isabelle Collet Dans les métiers de l’informatique et du numérique, la sousMaître d’enseignement et de recherche

            Add to Reading List

            Source URL: www.isabelle-collet.net

            Language: French - Date: 2016-02-10 10:08:04
              298

              Collet, IsabelleIl expérimente, elle regarde. Les sciences dans les livres documentaires pour enfants. In Jean-Marc Lévy-Leblond (Ed.), Alliage (ppNice: Seuil. Il expérimente, elle regarde… La re

              Add to Reading List

              Source URL: www.isabelle-collet.net

              Language: French - Date: 2016-02-10 10:08:19
                299

                Unsupervised Word Segmentation in Context Benjamin B¨orschinger Gabriel Synnaeve and Isabelle Dautriche LSCP, DEC Institut f¨ur Computerlinguistik Universit¨at Heidelberg, Heidelberg, Germany.

                Add to Reading List

                Source URL: www.lscp.net

                Language: English - Date: 2014-09-01 08:56:13
                  300

                  Collet Isabelle et Nicole Mosconi (2010) « Les informaticiennes : de la dominance de classe aux discriminations de sexe », Nouvelles Questions Féministes n°30, ppLes informaticiennes : de la dominance de cla

                  Add to Reading List

                  Source URL: www.isabelle-collet.net

                  Language: French - Date: 2016-02-10 10:08:11
                    UPDATE