Logic

Results: 27485



#Item
671

STUDIES IN LOGIC, GRAMMAR AND RHETORICEvaluating Prospective Built-in Elements of Computer Algebra in Mizar⋆ Adam Naumowicz Institute of Computer Science

Add to Reading List

Source URL: mizar.org

- Date: 2010-03-05 21:10:35
    672

    Compact Serialization of Prolog Terms (with Catalan Skeletons, Cantor Tupling and Gödel Numberings) Paul Tarau1 1 Department of Computer Science and Engineering

    Add to Reading List

    Source URL: logic.cse.unt.edu

    - Date: 2013-08-29 06:54:12
      673

      Natural Logic for Textual Inference Bill MacCartney Stanford University Abstract

      Add to Reading List

      Source URL: nlp.stanford.edu

      - Date: 2007-06-14 19:22:10
        674

        The Future of Computing: Logic or Biology Text of a talk given at Christian Albrechts University, Kiel on 11 July 2003 Leslie Lamport 21 July 2003

        Add to Reading List

        Source URL: research.microsoft.com

        - Date: 2003-07-21 12:32:42
          675

          Public Strong logic demand drives Q3 results, on track for record 2016 sales Orders for three EUV systems show customer base expanding to six ASML 2016 Third-Quarter Results

          Add to Reading List

          Source URL: staticwww.asml.com

          - Date: 2016-10-19 00:53:57
            676

            Unit Code: CM20019 - S1 (YearUnit Lecturer: Dr. P. Bruscoli Unit Tutors: T. Gundersen, J. Needham, M. Price Worksheet 2: Predicate Logic: Syntax, Semantics, Normal Forms)

            Add to Reading List

            Source URL: cs.bath.ac.uk

            - Date: 2012-01-04 16:05:10
              677

              The Essence of Higher-Order Concurrent Separation Logic Robbert Krebbers1 , Ralf Jung2 , Ale˘s Bizjak3 , Jacques-Henri Jourdan2 , Derek Dreyer2 , and Lars Birkedal3 1

              Add to Reading List

              Source URL: robbertkrebbers.nl

              - Date: 2016-10-22 08:34:38
                678

                On Functional Logic Programming and its Application to Testing Dissertation zur Erlangung des akademischen Grades Doktor der Naturwissenschaften (Dr. rer. nat.)

                Add to Reading List

                Source URL: www-ps.informatik.uni-kiel.de

                - Date: 2014-06-15 10:44:56
                  679

                  A Program Transformation for Tracing Functional Logic Computations? Bernd Brassel, Sebastian Fischer, and Frank Huch Institute of Computer Science University of Kiel, 24098 Kiel, Germany {bbr,sebf,fhu}@informatik.uni-kie

                  Add to Reading List

                  Source URL: www-ps.informatik.uni-kiel.de

                  - Date: 2014-06-15 10:44:21
                    UPDATE