Logic

Results: 27485



#Item
271

OL_SHA256 SHA-256 Processor Rev 0.9 General Description

Add to Reading List

Source URL: www.ocean-logic.com

Language: English - Date: 2011-03-20 21:11:23
    272

    1 2 ¯ use of Ibn S¯ına’s ¯ logic

    Add to Reading List

    Source URL: wilfridhodges.co.uk

    Language: English - Date: 2016-05-19 13:59:59
      273

      Constructive Temporal Logic, Categorically Valeria de Paiva AI Laboratory, Nuance Communications Sunnyvale 94085, USA

      Add to Reading List

      Source URL: metatheorem.org

      Language: English - Date: 2018-08-14 14:33:44
        274

        Fast Reflexive Arithmetic Tactics the linear case and beyond Fr´ed´eric Besson? Irisa/Inria, Campus de Beaulieu, 35042 Rennes Cedex, France Abstract. When goals fall in decidable logic fragments, users of proofassista

        Add to Reading List

        Source URL: people.rennes.inria.fr

        Language: English - Date: 2014-09-03 04:27:19
          275

          Mike Tucker, Hewlett-Packard C o m p a n y Lou Scheffer,Valid Logic Systems, Inc. ierarchical CAD tools hold promise for effectively managing t h e design of custom V L S I circuits. However, the implementation of these

          Add to Reading List

          Source URL: www.lscheffer.com

          Language: English - Date: 2007-08-07 14:40:05
            276

            See discussions, stats, and author profiles for this publication at: https://www.researchgate.net/publicationAnalysis of Performance of Various Activation Functions for doing the logic programming in Hopfield

            Add to Reading List

            Source URL: ccl.northwestern.edu

            Language: English - Date: 2018-03-02 17:34:20
              277

              An Executable Rewriting Logic Semantics of K-Scheme ∗ Patrick Meredith Mark Hills Grigore Ros¸u

              Add to Reading List

              Source URL: repository.readscheme.org

              Language: English - Date: 2012-08-10 19:21:18
                278

                Algorithms and implementations Yiannis N. Moschovakis UCLA and University of Athens Tarski Lecture 1, March 3, 2008

                Add to Reading List

                Source URL: logic.berkeley.edu

                Language: English - Date: 2018-03-13 00:17:29
                  279

                  On Structuring Proof Search for First Order Linear Logic

                  Add to Reading List

                  Source URL: cs.bath.ac.uk

                  Language: English - Date: 2012-01-04 16:21:31
                    280

                    Some Notes on Intuitionistic Logic and Dialogue Semantics by Thomas Piecha University of Belgrade

                    Add to Reading List

                    Source URL: ls.informatik.uni-tuebingen.de

                    Language: English - Date: 2018-05-08 04:48:28
                      UPDATE