51![All 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](https://www.pdfsearch.io/img/c9ee37d60e835bea8156f172fee2fc25.jpg) | Add to Reading ListSource URL: precision.moscito.orgLanguage: English - Date: 2011-03-20 04:03:41
|
---|
52![SMT 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](https://www.pdfsearch.io/img/5403d605578a697f432e461605bf942b.jpg) | Add to Reading ListSource URL: csl.sri.comLanguage: English - Date: 2014-06-28 01:48:55
|
---|
53![Instantiation for Theory Reasoning in Vampire Giles Reger Martin Riener Instantiation for Theory Reasoning in Vampire Giles Reger Martin Riener](https://www.pdfsearch.io/img/f06a0d2230c09dd9c0b3cc4f269fb6a6.jpg) | Add to Reading ListSource URL: www.logic.atLanguage: English - Date: 2018-07-19 05:32:19
|
---|
54![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. 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.](https://www.pdfsearch.io/img/fb1a8daca9bda17cd85e457732bec589.jpg) | Add to Reading ListSource URL: www.cl.cam.ac.ukLanguage: English - Date: 2018-08-15 07:19:14
|
---|
55![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 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](https://www.pdfsearch.io/img/1473973b13c52637c77a084a93f22a14.jpg) | Add to Reading ListSource URL: uclmr.github.ioLanguage: English - Date: 2018-08-06 06:17:49
|
---|
56![Proc. 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](https://www.pdfsearch.io/img/1174dd76582635d1a6a75ffe083173e1.jpg) | Add to Reading ListSource URL: eta.impa.brLanguage: English - Date: 2018-07-25 13:17:42
|
---|
57![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 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](https://www.pdfsearch.io/img/9dfef376c5f17261e2c2ed987b429454.jpg) | Add to Reading ListSource URL: www.scottaaronson.comLanguage: English - Date: 2018-08-26 18:24:06
|
---|
58![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 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](https://www.pdfsearch.io/img/ba52929b3e22140bbcb13013a03b3631.jpg) | Add to Reading ListSource URL: eta.impa.brLanguage: English - Date: 2018-07-28 17:09:48
|
---|
59![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. 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.](https://www.pdfsearch.io/img/08a834255c603c99516ce969c7a3225e.jpg) | Add to Reading ListSource URL: isabelle.in.tum.deLanguage: English - Date: 2018-08-15 07:19:14
|
---|
60![Replications of implicit theory of mind tasks with varying representational demands Replications of implicit theory of mind tasks with varying representational demands](https://www.pdfsearch.io/img/2fce9e65758b58b3b8a0b0bd5ca8d47e.jpg) | Add to Reading ListSource URL: saxelab.mit.eduLanguage: English - Date: 2017-10-13 14:23:30
|
---|