Theory

Results: 155664



#Item
51All in the XL Family: Theory and Practice Bo-Yin Yang1, and Jiun-Ming Chen2 1 Department of Mathematics, Tamkang University, Tamsui, Taiwan

All in the XL Family: Theory and Practice Bo-Yin Yang1, and Jiun-Ming Chen2 1 Department of Mathematics, Tamkang University, Tamsui, Taiwan

Add to Reading List

Source URL: precision.moscito.org

Language: English - Date: 2011-03-20 04:03:41
52SMT Beyond DPLL(T): A New Approach to Theory Solvers and Theory Combination by Dejan Jovanovi´c

SMT Beyond DPLL(T): A New Approach to Theory Solvers and Theory Combination by Dejan Jovanovi´c

Add to Reading List

Source URL: csl.sri.com

Language: English - Date: 2014-06-28 01:48:55
53Instantiation for Theory Reasoning in Vampire Giles Reger Martin Riener

Instantiation for Theory Reasoning in Vampire Giles Reger Martin Riener

Add to Reading List

Source URL: www.logic.at

Language: English - Date: 2018-07-19 05:32:19
54What’s in Main Tobias Nipkow August 15, 2018 Abstract This document lists the main types, functions and syntax provided by theory Main. It is meant as a quick overview of what is available.

What’s in Main Tobias Nipkow August 15, 2018 Abstract This document lists the main types, functions and syntax provided by theory Main. It is meant as a quick overview of what is available.

Add to Reading List

Source URL: www.cl.cam.ac.uk

Language: English - Date: 2018-08-15 07:19:14
    55Theory Learning and Logical Rule Induction with Neural Theorem Proving Andres Campero 1 Aldo Pareja 2 Tim Klinger 2 Josh Tenenbaum 1 Sebastian Riedel 3 1. Introduction A hallmark of human cognition is the ability to con

    Theory Learning and Logical Rule Induction with Neural Theorem Proving Andres Campero 1 Aldo Pareja 2 Tim Klinger 2 Josh Tenenbaum 1 Sebastian Riedel 3 1. Introduction A hallmark of human cognition is the ability to con

    Add to Reading List

    Source URL: uclmr.github.io

    Language: English - Date: 2018-08-06 06:17:49
    56Proc. Int. Cong. of Math. – 2018 Rio de Janeiro, Vol–1058) K -THEORY AND ACTIONS ON EUCLIDEAN RETRACTS Arthur Bartels

    Proc. Int. Cong. of Math. – 2018 Rio de Janeiro, Vol–1058) K -THEORY AND ACTIONS ON EUCLIDEAN RETRACTS Arthur Bartels

    Add to Reading List

    Source URL: eta.impa.br

    Language: English - Date: 2018-07-25 13:17:42
    57Lecture 29, Thurs May 4: Experimental Realizations of QC In this course, we’ve had 28 lectures about the theory of quantum computing and information. So it behooves us to take one lecture to survey the current state of

    Lecture 29, Thurs May 4: Experimental Realizations of QC In this course, we’ve had 28 lectures about the theory of quantum computing and information. So it behooves us to take one lecture to survey the current state of

    Add to Reading List

    Source URL: www.scottaaronson.com

    Language: English - Date: 2018-08-26 18:24:06
    58Cohomological field theory calculations Rahul Pandharipande February 2018 Abstract Cohomological field theories (CohFTs) were defined in the mid 1990s by Kontsevich and Manin to capture the formal properties of the virtu

    Cohomological field theory calculations Rahul Pandharipande February 2018 Abstract Cohomological field theories (CohFTs) were defined in the mid 1990s by Kontsevich and Manin to capture the formal properties of the virtu

    Add to Reading List

    Source URL: eta.impa.br

    Language: English - Date: 2018-07-28 17:09:48
    59What’s in Main Tobias Nipkow August 15, 2018 Abstract This document lists the main types, functions and syntax provided by theory Main. It is meant as a quick overview of what is available.

    What’s in Main Tobias Nipkow August 15, 2018 Abstract This document lists the main types, functions and syntax provided by theory Main. It is meant as a quick overview of what is available.

    Add to Reading List

    Source URL: isabelle.in.tum.de

    Language: English - Date: 2018-08-15 07:19:14
      60Replications of implicit theory of mind tasks with varying representational demands

      Replications of implicit theory of mind tasks with varying representational demands

      Add to Reading List

      Source URL: saxelab.mit.edu

      Language: English - Date: 2017-10-13 14:23:30