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

    Add to Reading List

    Source URL: dingo.sbs.arizona.edu

    Language: English - Date: 2005-07-12 16:28:40
      103

      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
        104

        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
          105

          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
            106

            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
              107

              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
                108

                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
                  109

                  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
                    110

                    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
                      UPDATE