Isabelle

Results: 1487



#Item
91

PDF Document

Add to Reading List

Source URL: isabelle.in.tum.de

- Date: 2016-12-12 09:14:30
    92Isabelle Wenzel Ben Rivers Welcome to NIGHT CONTACT 2014 at

    Isabelle Wenzel Ben Rivers Welcome to NIGHT CONTACT 2014 at

    Add to Reading List

    Source URL: static.nightcontact.co.uk

    - Date: 2014-10-07 12:24:00
      93Tobias Nipkow Markus Wenzel Lawrence C. Paulson lle

      Tobias Nipkow Markus Wenzel Lawrence C. Paulson lle

      Add to Reading List

      Source URL: isabelle.in.tum.de

      - Date: 2013-12-05 10:28:31
        94PRESS RELEASE ISABELLE CORNARO JANUARY 26 – MARCH 19, 2016 Opening Reception: January 23, 6-8pm For her second exhibition with Hannah Hoffman Gallery, Isabelle Cornaro presents a selection of recent works that stage th

        PRESS RELEASE ISABELLE CORNARO JANUARY 26 – MARCH 19, 2016 Opening Reception: January 23, 6-8pm For her second exhibition with Hannah Hoffman Gallery, Isabelle Cornaro presents a selection of recent works that stage th

        Add to Reading List

        Source URL: hannahhoffmangallery.com

        - Date: 2016-01-30 16:11:18
          95Curriculum Vitae Isabelle COGITORE, PR 1 Université de Grenoble Alpes 1

          Curriculum Vitae Isabelle COGITORE, PR 1 Université de Grenoble Alpes 1

          Add to Reading List

          Source URL: msh-alpes.fr

          - Date: 2014-12-01 10:55:01
            96An Isabelle Formalization of the Expressiveness of Deep Learning (Extended Abstract) Alexander Bentkamp1 , Jasmin Christian Blanchette23 , and Dietrich Klakow4 1

            An Isabelle Formalization of the Expressiveness of Deep Learning (Extended Abstract) Alexander Bentkamp1 , Jasmin Christian Blanchette23 , and Dietrich Klakow4 1

            Add to Reading List

            Source URL: people.mpi-inf.mpg.de

            - Date: 2016-11-29 05:17:21
              97Isabelle/Isar — a versatile environment for human-readable formal proof documents Markus M. Wenzel Lehrstuhl f¨ur Software & Systems Engineering Institut f¨

              Isabelle/Isar — a versatile environment for human-readable formal proof documents Markus M. Wenzel Lehrstuhl f¨ur Software & Systems Engineering Institut f¨

              Add to Reading List

              Source URL: mediatum.ub.tum.de

                98What Is Given in Experience? Bruno Latour Every synthesis begins “anew” and has to be taken up from the start as if for the first time. —Isabelle Stengers, Penser avec Whitehead: Une libre et sauvage creation de co

                What Is Given in Experience? Bruno Latour Every synthesis begins “anew” and has to be taken up from the start as if for the first time. —Isabelle Stengers, Penser avec Whitehead: Une libre et sauvage creation de co

                Add to Reading List

                Source URL: www.bruno-latour.fr

                - Date: 2011-11-10 05:28:43
                  99Isabelle / Proof General Cheat Sheet Applying rules and theorems apply (rule theorem): use when the conclusion of theorem matches the conclusion of the current goal apply (erule theorem): use when the conclusion of theo

                  Isabelle / Proof General Cheat Sheet Applying rules and theorems apply (rule theorem): use when the conclusion of theorem matches the conclusion of the current goal apply (erule theorem): use when the conclusion of theo

                  Add to Reading List

                  Source URL: www.phil.cmu.edu

                  - Date: 2014-01-17 11:57:48
                    100Markov Processes in Isabelle/HOL Johannes H¨olzl Technical University of Munich, Germany Abstract

                    Markov Processes in Isabelle/HOL Johannes H¨olzl Technical University of Munich, Germany Abstract

                    Add to Reading List

                    Source URL: home.in.tum.de

                    - Date: 2016-12-02 10:40:04