Logic

Results: 27485



#Item
101

PDF Document

Add to Reading List

Source URL: imageserv11.team-logic.com

- Date: 2015-12-08 10:15:31
    102[tl1] ______________________________ 9 The Logic of Reflexivity and

    [tl1] ______________________________ 9 The Logic of Reflexivity and

    Add to Reading List

    Source URL: dingo.sbs.arizona.edu

    Language: English - Date: 2005-07-12 16:28:40
      1032017 American Control Conference Sheraton Seattle Hotel May 24–26, 2017, Seattle, USA Stochastic Predictive Freeway Ramp Metering from Signal Temporal Logic Specifications

      2017 American Control Conference Sheraton Seattle Hotel May 24–26, 2017, Seattle, USA Stochastic Predictive Freeway Ramp Metering from Signal Temporal Logic Specifications

      Add to Reading List

      Source URL: dorsa.fyi

      Language: English - Date: 2018-08-10 01:41:28
        104Technical Report no. 2007:1 Integration of a Security Type System into a Program Logic Reiner H¨ahnle, Jing Pan, Philipp R¨ummer, Dennis Walter

        Technical Report no. 2007:1 Integration of a Security Type System into a Program Logic Reiner H¨ahnle, Jing Pan, Philipp R¨ummer, Dennis Walter

        Add to Reading List

        Source URL: www.philipp.ruemmer.org

        Language: English - Date: 2015-10-30 07:54:22
          105Three Paradoxical Aspects of Identity. by Heinrich Behmann; Max Käsbauer; Franz von Kutschera; Verlag Karl Alber Review by: John Perry The Journal of Symbolic Logic, Vol. 39, No. 2 (Jun., 1974), ppPublished by

          Three Paradoxical Aspects of Identity. by Heinrich Behmann; Max Käsbauer; Franz von Kutschera; Verlag Karl Alber Review by: John Perry The Journal of Symbolic Logic, Vol. 39, No. 2 (Jun., 1974), ppPublished by

          Add to Reading List

          Source URL: www.john.jperry.net

          Language: English - Date: 2017-10-22 23:32:37
            106De menswetenschappen in de schaduw van God? Rens Bod Universiteit van Amsterdam Institute for Logic, Language and Computation

            De menswetenschappen in de schaduw van God? Rens Bod Universiteit van Amsterdam Institute for Logic, Language and Computation

            Add to Reading List

            Source URL: www.nvwf.nl

            Language: Dutch - Date: 2015-09-03 04:38:58
              107Analysis, 71, 2011, Language, Partial Truth, and Logic Catherine Z. Elgin Abstract: In Hard Truths, Elijah Millgram maintains that rather than endorsing bivalence, we should recognize a plethora of partial truth

              Analysis, 71, 2011, Language, Partial Truth, and Logic Catherine Z. Elgin Abstract: In Hard Truths, Elijah Millgram maintains that rather than endorsing bivalence, we should recognize a plethora of partial truth

              Add to Reading List

              Source URL: elgin.harvard.edu

              Language: English - Date: 2012-07-14 13:06:42
                108SIDRA Ph.D. School 2017 Formal Methods for the Control of Large-scale Networked Nonlinear Systems with Logic Specifications Bertinoro, July 3-5, 2017 Coordinators:

                SIDRA Ph.D. School 2017 Formal Methods for the Control of Large-scale Networked Nonlinear Systems with Logic Specifications Bertinoro, July 3-5, 2017 Coordinators:

                Add to Reading List

                Source URL: muwo1.unibo.it

                Language: English - Date: 2017-07-07 10:13:10
                  109Synthesis of Logic Interpretations Jian Xiang, John Knight, Kevin Sullivan Department of Computer Science University of Virginia Charlottesville, VA USA {Jian,Knight,Sullivan}@cs.virginia.edu

                  Synthesis of Logic Interpretations Jian Xiang, John Knight, Kevin Sullivan Department of Computer Science University of Virginia Charlottesville, VA USA {Jian,Knight,Sullivan}@cs.virginia.edu

                  Add to Reading List

                  Source URL: jianxiang.info

                  Language: English - Date: 2017-09-23 07:40:56
                    110Fine structure and internal theory of extender models Martin Zeman UCI February 18, 2011

                    Fine structure and internal theory of extender models Martin Zeman UCI February 18, 2011

                    Add to Reading List

                    Source URL: logic.harvard.edu

                    Language: English - Date: 2011-09-20 00:26:33