Substitution

Results: 2868



#Item
1Differential equations / Differential calculus / Mathematics / Calculus / Ordinary differential equation / Linear differential equation / Equation / Partial differential equation / Delay differential equation

Lecture Notes on Virtual Substitution & Real Arithmetic

Add to Reading List

Source URL: symbolaris.com

Language: English - Date: 2018-02-19 20:58:37
2Mathematical analysis / Logic / Theoretical computer science / Automated theorem proving / Logic programming / Conflict-driven clause learning / E / Calculus / Substitution / Exponential function

Towards Conflict-Driven Learning for Virtual Substitution SMT Workshop ˇ Marek Kosta (joint work K. Korovin and T. Sturm)

Add to Reading List

Source URL: smt2014.it.uu.se

Language: English - Date: 2014-07-18 18:47:15
3

LIVELIHOOD SUBSTITUTION: THE CASE OF THE LYARI EXPRESSWAY

Add to Reading List

Source URL: www.urckarachi.org

Language: English - Date: 2016-06-24 03:49:25
    4

    Hereditary Substitution for the λ∆-Calculus Harley Eades and Aaron Stump Computer Science CL&C 2012 Overview

    Add to Reading List

    Source URL: metatheorem.org

    Language: English - Date: 2018-08-16 11:42:55
      5

      Matthieu Fontaine - L’échec de la généralisation existentielle et de la substitution des identiques chez Hintikka

      Add to Reading List

      Source URL: www.revue-klesis.org

      Language: French - Date: 2018-02-18 13:48:50
        6

        D’var Torah San Francisco Hillel November 19, 2004 This week we read in Parshat Vayetze about Laban’s substitution of Leah for Rachel during the wedding to Jacob. While we read of Jacob’s surprise and anger at Laba

        Add to Reading List

        Source URL: www.shalom-bayit.org

        Language: English - Date: 2013-09-11 15:18:25
          7

          1 LES SUPPORTS DE SUBSTITUTION Gérard Cohen, conservateur général, Mission Evaluation et Conseils,

          Add to Reading List

          Source URL: www.litterature-lieux.com

          Language: French - Date: 2015-06-21 04:29:37
            8

            Using the Hereditary Substitution Function in Normalization Proofs Harley Eades and Aaron Stump Computer Science The University of Iowa

            Add to Reading List

            Source URL: metatheorem.org

            Language: English - Date: 2018-08-16 11:42:56
              9

              Effect of Transition-Metal Substitution on Crystal Structure and Ferroelectric Property of Bi4Ti3O12-Based Oxide Yasushi Idemoto, Naoto Kitamura and Takashi Iiyama Department of Pure and Applied Chemistry, Faculty of Sc

              Add to Reading List

              Source URL: quasi.issp.u-tokyo.ac.jp

              Language: English - Date: 2010-12-31 00:10:34
                10

                Exploring the Reach of Hereditary Substitution Harley Eades1 and Aaron Stump2 1 The University of Iowa, Computer Science 14 MacLean Hall Iowa City, IA, USA

                Add to Reading List

                Source URL: metatheorem.org

                Language: English - Date: 2018-08-16 11:42:55
                  UPDATE