Logic

Results: 27485



#Item
181

Hamkins on the Multiverse Peter Koellner May 1, 2013 Universal skepticism, though logically irrefutable, is practically barren; it can only,

Add to Reading List

Source URL: logic.harvard.edu

Language: English - Date: 2013-05-08 18:25:29
    182

    Pathway Logic Pathway Logic Modeling of Protein Functional Domains in Signal Transduction

    Add to Reading List

    Source URL: pl.csl.sri.com

    Language: English - Date: 2018-08-10 18:50:29
      183

      自然科学と人文科学の論理結合 Logical combination of natural science and humanities Logische Verknüpfung von Natur- und Geisteswissenschaften Abstract Context (30 Logic Items)

      Add to Reading List

      Source URL: www.matsuo-acad.or.jp

      Language: Japanese - Date: 2016-05-19 20:07:20
        184

        Exe_Corporate_3DS_Logotype_CMYK_White

        Add to Reading List

        Source URL: t-logic.com.ua

        Language: Russian - Date: 2018-02-22 07:43:41
          185

          Univalent Type Theory Thierry Coquand Tutorial for the Logic Colloquium 2016, Leeds Univalent Type Theory

          Add to Reading List

          Source URL: www.cse.chalmers.se

          Language: English - Date: 2016-08-05 03:49:47
            186

            Determinants of judgments of explanatory power: Credibility, Generalizability, and Causal Framing Matteo Colombo () Tilburg Center for Logic, Ethics and Philosophy of Science (TiLPS), Warandelaan 2, 5037

            Add to Reading List

            Source URL: pdfs.semanticscholar.org

            Language: English - Date: 2017-07-24 21:54:48
              187

              TECHNOLOGY OFFER Intrinsic Non-Volatile Logic-in-Memory with STT-MRAM www.wtz-ost.at

              Add to Reading List

              Source URL: www.wtz-ost.at

              Language: English - Date: 2016-10-11 05:58:37
                188

                From Worlds to Situations John Perry Journal of Philosophical Logic): This version is from The Problem of the Essential Indexical, 2nd edition (Stanford: CSLI Publications, 2000)

                Add to Reading List

                Source URL: www.john.jperry.net

                Language: English - Date: 2017-10-22 23:34:28
                  189

                  SLMC: A Tool for Model Checking Concurrent Systems against Dynamical Spatial Logic Specifications Lu´ıs Caires and Hugo Torres Vieira CITI / Departamento de Inform´atica, FCT Universidade Nova de Lisboa, Portugal Abst

                  Add to Reading List

                  Source URL: ctp.di.fct.unl.pt

                  Language: English - Date: 2012-09-27 14:27:13
                    UPDATE