Logic

Results: 27485



#Item
191

National School SIDRA 2017: Formal Methods for the Control of Large-scale Networked Nonlinear Systems with Logic Specifications Lecture L6a: Symbolic models for stable nonlinear systems?

Add to Reading List

Source URL: muwo1.unibo.it

Language: English - Date: 2017-07-07 10:12:38
    192

    HP 35s Scientific Calculator Get professional performance from the ultimate RPN scientific programmable calculator. Switch between RPN* and algebraic entry-system logic at any time. The HP 35s features

    Add to Reading List

    Source URL: hpcc.org

    Language: English - Date: 2007-05-29 10:12:10
      193

      1 Abstract state machines as a tool for history of logic Wilfrid Hodges

      Add to Reading List

      Source URL: wilfridhodges.co.uk

      Language: English - Date: 2010-08-18 14:11:59
        194

        Pathway Logic Carolyn Talcott? SRI International 333 Ravenswood Avenue, Menlo Park, CA 94025, USA

        Add to Reading List

        Source URL: pl.csl.sri.com

        Language: English - Date: 2018-08-10 18:50:28
          195

          University of Crete Departments of Mathematics and Applied Mathematics Logic Seminar 11:15am, Wednesday, 20 December, 2017 Room B-212

          Add to Reading List

          Source URL: www.tem.uoc.gr

          - Date: 2017-12-18 14:32:23
            196

            Technische Universit¨ at Wien Inst. Logic and Computation (E192-01) Algorithms and Complexity Group Favoritenstraße 9–11 A-1040 Vienna, Austria

            Add to Reading List

            Source URL: www.ac.tuwien.ac.at

            Language: English - Date: 2018-05-02 08:59:17
              197

              Why? Julian J. Schl¨oder: , Ellen Breitholtz; and Raquel Fern´andez: : Institute for Logic, Language and Computation University of Amsterdam ;

              Add to Reading List

              Source URL: semantics.rutgers.edu

              Language: English - Date: 2016-06-29 17:05:28
                198

                Project Work A Case-Study of Active Logic submitted by Thorben Ole Heins

                Add to Reading List

                Source URL: fileadmin.cs.lth.se

                Language: English - Date: 2009-01-19 09:12:56
                  199

                  Towards Formalizing Statute Law as Default Logic through Automatic Semantic Parsing Marcos Pertierra Northwestern Pritzker School of Law

                  Add to Reading List

                  Source URL: groups.csail.mit.edu

                  Language: English - Date: 2017-07-21 03:35:36
                    200

                    DraftNot to be quoted or cited without permission. Evidence and the hierarchy of mathematical theories Charles Parsons It is a well-known fact of mathematical logic, by now developed in considerable detail, t

                    Add to Reading List

                    Source URL: logic.harvard.edu

                    Language: English - Date: 2011-10-20 19:41:23
                      UPDATE