calculus

Results: 11790



#Item
251

Deriving Lagrange’s equations using elementary calculus Jozef Hanca) Technical University, Vysokoskolska 4, Kosice, Slovakia Edwin F. Taylorb) Massachusetts Institute of Technology, Cambridge, Massachusetts 0213

Add to Reading List

Source URL: www.eftaylor.com

- Date: 2006-05-15 11:08:14
    252

    Background Translation from µ-calculus WS2S to tree automata Internship Louis Jachiet

    Add to Reading List

    Source URL: louis.jachiet.com

    - Date: 2013-08-26 09:47:39
      253

      A Efficiently Deciding µ-calculus with Converse over Finite Trees ` , CNRS Pierre Geneves Nabil Laya¨ıda, Inria Alan Schmitt, Inria

      Add to Reading List

      Source URL: tyrex.inria.fr

      - Date: 2015-12-08 05:52:17
        254

        The Resolution Calculus for First-Order Logic Anders Schlichtkrull June 30, 2016 Abstract This theory is a formalization of the resolution calculus for firstorder logic. It is proven sound and complete. The soundness pro

        Add to Reading List

        Source URL: www.isa-afp.org

        - Date: 2016-06-30 11:26:49
          255

          Stochastic Calculus and Applications to Mathematical Finance by GREG WHITE Mihai Stoiciu, Advisor

          Add to Reading List

          Source URL: sites.williams.edu

          - Date: 2012-08-23 11:08:23
            256

            San Francisco State University Mathematics Department Summer 2005 Math 227: Calculus II MTuWThF 10:30-11:45 in HSS 285

            Add to Reading List

            Source URL: userwww.sfsu.edu

            - Date: 2005-06-17 18:48:09
              257

              On Zariski geometries, structural approximation and rigorous Dirac calculus B. Zilber University of Oxford http://www.maths.ox.ac.uk/ e zilber/

              Add to Reading List

              Source URL: people.maths.ox.ac.uk

              - Date: 2009-05-25 07:38:25
                258

                Contrasting Lambda Calculus and Object-Oriented Languages with Vicount Ike Antkaretoo International Institute of Technology United Slates of Earth

                Add to Reading List

                Source URL: membres-lig.imag.fr

                - Date: 2014-01-09 04:24:29
                  259

                  Lecture 2: Some basic principles of the b-calculus Daniel Grieser (Carl von Ossietzky Universit¨ at Oldenburg) September 20, 2012

                  Add to Reading List

                  Source URL: www.staff.uni-oldenburg.de

                  - Date: 2012-11-21 10:23:44
                    260

                    San Francisco State University Mathematics Department Summer 2006 Math 227: Calculus II MTuWThF 9:00-10:15 in TH 423

                    Add to Reading List

                    Source URL: userwww.sfsu.edu

                    - Date: 2006-06-16 18:04:13
                      UPDATE