Logic

Results: 27485



#Item
701

Fully Reliable Dynamic Routing Logic for a Fault-Tolerant NoC Architecture Alhussien, Verbeek, Gastel, Bagherzadeh & Schmaltz   Fully Reliable Dynamic Routing Logic for a

Add to Reading List

Source URL: www.sbmicro.org.br

- Date: 2013-09-27 14:49:22
    702

    LOVE AND LOGIC ♥ LOVE AND LOGIC ♥ LOVE AND LOGIC ♥ LOVE AND LOGIC ♥ LOVE AND LOGIC ♥ LOVE AND LOGIC ♥ LOVE AND LOGIC ♥ LOVE AND LOGIC ♥ LOVE AND LOGIC ♥ LOVE AND LOGIC Three Types of Parents CONSULTANT

    Add to Reading List

    Source URL: www.loveandlogic.com

    - Date: 2016-02-04 17:40:34
      703

      Applying Prolog to Semantic Web Ontologies & Rules Moving Toward Description Logic Programs K. Samuel1, L. Obrst1, S. Stoutenburg2, K. Fox2, P. Franklin2, A. Johnson2, K. Laskey2, D. Nichols1, S. Lopez2, J. Peterson2 The

      Add to Reading List

      Source URL: sunsite.informatik.rwth-aachen.de

      - Date: 2006-08-19 11:35:39
        704

        Logic Programming for Software-Defined Networks 1. Naga Praveen Katta

        Add to Reading List

        Source URL: frenetic-lang.org

        - Date: 2016-06-10 23:59:37
          705

          Quantified Differential Dynamic Logic for Distributed Hybrid Systems Andr´e Platzer May 2010 CMU-CS

          Add to Reading List

          Source URL: reports-archive.adm.cs.cmu.edu

          - Date: 2011-02-24 16:10:58
            706

            On Finite Domains in First-Order Linear Temporal Logic Denis Kuperberg, Julien Brunel, David Chemouil To cite this version: Denis Kuperberg, Julien Brunel, David Chemouil. On Finite Domains in First-Order Linear Temporal

            Add to Reading List

            Source URL: hal.archives-ouvertes.fr

            - Date: 2016-07-12 08:42:58
              707

              Experimental Mathematics in Haskell: on Pairing/Unpairing Functions and Boolean Evaluation Paul Tarau1 Brenda Luderman2

              Add to Reading List

              Source URL: logic.cse.unt.edu

              - Date: 2010-05-17 08:49:25
                708

                A Two-Variable Separation Logic and Its Inner Circle STEPHANE DEMRI, New York University, USA & CNRS, France MORGAN DETERS, New York University, USA Separation logic is a well-known assertion language for Hoare-style pr

                Add to Reading List

                Source URL: www.lsv.ens-cachan.fr

                - Date: 2015-01-28 03:31:41
                  709

                  Algorithmic Logic-Based Verification with SeaHorn (Invited Tutorial) Arie Gurfinkel Software Engineering Institute Carnegie Mellon University http://arieg.bitbucket.org

                  Add to Reading List

                  Source URL: arieg.bitbucket.org

                  - Date: 2016-11-24 00:26:40
                    710

                    Towards Integrating Fuzzy Logic Capabilities into an Ontology-based Inductive Logic Programming Framework Josu´e Iglesias Telecommunications Engineering School Technical University of Madrid, Spain Email:

                    Add to Reading List

                    Source URL: jens-lehmann.org

                    - Date: 2016-08-19 06:05:24
                      UPDATE