SPASS

Results: 263



#Item
71Software / Theoretical computer science / Formal methods / Logic in computer science / Automated theorem proving / Constraint programming / Predicate logic / Frama-C / Satisfiability modulo theories / TPTP / Mereology / SPASS

Event-B & Cloud Provers A. Iliasov D. Adjepon-Yamoah P. Stankaitis

Add to Reading List

Source URL: www.ai4fm.org

Language: English - Date: 2015-09-02 07:29:35
72

6: Implementation of SPASS with Axiomatic Translation of Modal Logic. SYMBOL eml_GetVar(int Index) ***DRAFT*** @K.J.Smith, 2008. http://www.KJSmith.net

Add to Reading List

Source URL: project.kjsmith.net

Language: English - Date: 2008-06-19 07:43:39
    73

    ANTRAG FÜR EINE JAHRESKARTE www.hellabrunn.de WIR FREUEN UNS AUF SIE UND WÜNSCHEN IHNEN 365 TAGE TIERPARK-SPASS!

    Add to Reading List

    Source URL: www.hellabrunn.de

    Language: German - Date: 2016-01-14 10:10:37
      74

      3. Materials and Methods. Code was modified from SPASS (version 3.0c) available from Max Planck Institut für Informatik

      Add to Reading List

      Source URL: project.kjsmith.net

      Language: English - Date: 2008-09-02 15:19:21
        75

        10. Appendix. A. Project web site at http://project.kjsmith.net/index.html. Changes since version 1.1.0: 1.1.1: !! Bug fixes in interconversion of SPASS "axioms" and "conjectures" (when 1 conjecture is used)

        Add to Reading List

        Source URL: project.kjsmith.net

        Language: English - Date: 2008-07-28 03:56:34
          76

          4. Requirements In this section, the general strategy adopted during development of extendedSPASS is described, and then the informal requirements for the software developed (extended-SPASS and the user interface) are pr

          Add to Reading List

          Source URL: project.kjsmith.net

          Language: English - Date: 2008-09-02 15:19:21
            77

            SPASS: Scalable and Energy-efficient Data Acquisition in Sensor Databases ∗ M. H. Ali

            Add to Reading List

            Source URL: homes.cerias.purdue.edu

            Language: English - Date: 2005-05-10 10:56:14
              78

              8. Discussion. This section first considers aspects of the extended-SPASS software that has been developed for this project. Then some features of the axiomatic translation that have not previously been considered are in

              Add to Reading List

              Source URL: project.kjsmith.net

              Language: English - Date: 2008-09-04 06:08:35
                79

                10. Appendix. A. Project web site at http://project.kjsmith.net/index.html. Downloads for project in Axiomatic Translation of Modal LogicManchester. 1. On-line interface for SPASS with Axiomatic Translation - Try

                Add to Reading List

                Source URL: project.kjsmith.net

                Language: English - Date: 2008-09-02 15:24:25
                  80

                  DAS FARBENFROHE FEST MITTEN IM HERBST Vier Tage Attraktionen, Shopping, Kulinarisches, Informationen, Spass und vieles mehr: Das farbenfrohe Fest mitten im Herbst mit über 160 Ausstellern. Fotos: Andreas Haus Anzeige A

                  Add to Reading List

                  Source URL: www.herbstmesse-wettingen.ch

                  Language: German - Date: 2014-09-17 05:43:19
                    UPDATE