IML

Results: 362



#Item
301

Microsoft Word - NOK- ZAVRSENO_IML_29_7_2010.doc

Add to Reading List

Source URL: os-hjuhna-podgorac.skole.hr

Language: Croatian - Date: 2013-11-04 09:13:41
    302Quantum mechanics / Operator theory / Linear algebra / Quantum measurement / Non-classical logic / Quantum logic / Hilbert space / Quantum operation / Vector space / Mathematics / Algebra / Physics

    Truth, modality and intersubjectivity Jean-Yves Girard Institut de Mathématiques de Luminy, UPR 9016 – CNRS 163, Avenue de Luminy, Case 930, F[removed]Marseille Cedex 09 [removed] 24 janvier 2007

    Add to Reading List

    Source URL: iml.univ-mrs.fr

    Language: English - Date: 2007-06-06 03:18:03
    303

    TITRES ET TRAVAUX Jean-Yves Girard Institut de Mathématiques de Luminy, UMR 6206 – CNRS 163, Avenue de Luminy, Case 930, F[removed]Marseille Cedex 09 [removed] Février 2012

    Add to Reading List

    Source URL: iml.univ-mrs.fr

    Language: French - Date: 2012-02-14 03:54:14
      304

      La logique aujourd’hui. . . Jean-Yves Girard Institut de Mathématiques de Luminy, UPR 9016 – CNRS 163, Avenue de Luminy, Case 930, F[removed]Marseille Cedex 09 [removed] 21 mars 2007

      Add to Reading List

      Source URL: iml.univ-mrs.fr

      Language: French - Date: 2007-06-06 03:11:55
        305

        Le fantôme de la transparence Jean-Yves Girard Institut de Mathématiques de Luminy, UMR 6206 – CNRS 163, Avenue de Luminy, Case 907, F[removed]Marseille Cedex 09 [removed] 6 Septembre 2010

        Add to Reading List

        Source URL: iml.univ-mrs.fr

        Language: French - Date: 2010-10-06 03:09:55
          306

          De la syllogistique à l’iconoclasme Jean-Yves Girard Institut de Mathématiques de Luminy, UPR 9016 – CNRS 163, Avenue de Luminy, Case 930, F[removed]Marseille Cedex 09 [removed] 22 février 2007

          Add to Reading List

          Source URL: iml.univ-mrs.fr

          Language: French - Date: 2007-06-06 03:15:29
            307Non-classical logic / Model theory / Boolean algebra / Deontic logic / Modal logic / Paraconsistent logic / Negation / Linear logic / First-order logic / Logic / Mathematical logic / Philosophical logic

            Transcendental syntax 2.0 Jean-Yves Girard Institut de Mathématiques de Luminy, UMR 6206 – CNRS 163, Avenue de Luminy, Case 907, F[removed]Marseille Cedex 09 [removed] February 14, 2012

            Add to Reading List

            Source URL: iml.univ-mrs.fr

            Language: English - Date: 2012-02-14 09:23:43
            308

            De la vertu négatrice au surmoi logique Jean-Yves Girard Institut de Mathématiques de Luminy, UMR 6206 – CNRS 163, Avenue de Luminy, Case 907, F[removed]Marseille Cedex 09 [removed[removed]0ctobre 2008

            Add to Reading List

            Source URL: iml.univ-mrs.fr

            Language: French - Date: 2009-12-09 03:08:55
              309

              Les montres à moutarde : une approche intégrée au temps et à la nourriture extended abstract∗ Yann-Joachim Ringard

              Add to Reading List

              Source URL: iml.univ-mrs.fr

              Language: French - Date: 2010-04-13 03:17:23
                310Matrix theory / Operator theory / Determinant / Symbol / Normal distribution / Trace / Μ operator / Von Neumann algebra / Algebra / Mathematics / Linear algebra

                Geometry of Interaction V: logic in the hyperfinite factor Jean-Yves Girard Institut de Mathématiques de Luminy, UMR 6206 – CNRS 163, Avenue de Luminy, Case 907, F[removed]Marseille Cedex 09 [removed]

                Add to Reading List

                Source URL: iml.univ-mrs.fr

                Language: English - Date: 2010-01-20 03:39:53
                UPDATE