Reasoning

Results: 5026



#Item
231

Equational Reasoning about Programs with General Recursion and Call-by-value Semantics Garrin Kimmell Aaron Stump

Add to Reading List

Source URL: www.tyconmismatch.com

- Date: 2015-05-18 17:52:51
    232

    Comparing Instance Generation Methods for Automated Reasoning ∗ Swen Jacobs () and Uwe Waldmann () Max-Planck-Institut f¨ ur Informatik, Saarbr¨

    Add to Reading List

    Source URL: www.swenjacobs.com

    - Date: 2013-01-31 09:32:27
      233

      Journal of Automated Reasoning manuscript No. (will be inserted by the editor) Finding Proofs in Tarskian Geometry Michael Beeson · Larry Wos

      Add to Reading List

      Source URL: www.michaelbeeson.com

      - Date: 2016-06-22 16:52:52
        234

        Progress in Informatics NoEquational Reasoning about Programs with General Recursion and Call-by-value Semantics

        Add to Reading List

        Source URL: www.tyconmismatch.com

        - Date: 2015-05-18 17:52:54
          235

          A Sound and Complete Abstraction for Reasoning about Parallel Prefix Sums ∗ Nathan Chong Alastair F. Donaldson

          Add to Reading List

          Source URL: www.doc.ic.ac.uk

          - Date: 2013-11-12 05:47:28
            236

            Visual Reasoning in Euclid’s Geometry An Epistemology of Diagrams Alexander Jesse Norman Philosophy PhD 2003

            Add to Reading List

            Source URL: sas-space.sas.ac.uk

            - Date: 2015-03-03 11:52:59
              237

              Reasoning about Edits to Feature Models Thomas Th¨um Don Batory

              Add to Reading List

              Source URL: pdfs.semanticscholar.org

              - Date: 2015-07-28 21:21:41
                238

                EU-IST Integrated Project (IP) ISTSEKT SEKT: Semantically Enabled Knowledge Technologies MORE2: An Extended Reasoning and Management System for Multi-version Ontologies

                Add to Reading List

                Source URL: wasp.cs.vu.nl

                - Date: 2007-02-12 05:36:18
                  239

                  Reasoning about Explicit Resource Management∗ (Abstract) Edsko de Vries Trinity College Dublin, Ireland 1

                  Add to Reading List

                  Source URL: staff.um.edu.mt

                  - Date: 2011-02-27 15:57:37
                    240

                    Title: Instinctive and Cognitive Reasoning : A Study of Response Times ∗ Short Title: A Study of Response Times Ariel Rubinstein School of Economics, Tel Aviv University, Tel Aviv, Israeland

                    Add to Reading List

                    Source URL: arielrubinstein.tau.ac.il

                    - Date: 2006-10-21 13:12:09
                      UPDATE