Babelsberg

Results: 148



#Item
31

Problem Libraries for Non-Classical Logics – Extended Abstract – Jens Otten and Thomas Raths Institut f¨ur Informatik, University of Potsdam August-Bebel-Str. 89, 14482 Potsdam-Babelsberg, Germany {jeotten|traths}@c

Add to Reading List

Source URL: www.cs.uni-potsdam.de

Language: English - Date: 2015-01-19 21:15:50
    32

    Implementing Connection Calculi for First-order Modal Logics Jens Otten Institut f¨ur Informatik, University of Potsdam August-Bebel-Str. 89, 14482 Potsdam-Babelsberg, Germany

    Add to Reading List

    Source URL: www.cs.uni-potsdam.de

    Language: English - Date: 2012-09-30 13:57:39
      33

      A Non-clausal Connection Calculus Jens Otten Institut f¨ur Informatik, University of Potsdam August-Bebel-Str. 89, 14482 Potsdam-Babelsberg, Germany

      Add to Reading List

      Source URL: www.jens-otten.de

      Language: English - Date: 2012-03-30 11:05:43
        34

        A Non-clausal Connection Calculus Jens Otten Institut f¨ur Informatik, University of Potsdam August-Bebel-Str. 89, 14482 Potsdam-Babelsberg, Germany

        Add to Reading List

        Source URL: www.cs.uni-potsdam.de

        Language: English - Date: 2011-10-24 14:06:18
          35

          Clausal Connection-Based Theorem Proving in Intuitionistic First-Order Logic Jens Otten Institut f¨ ur Informatik, University of Potsdam August-Bebel-Str. 89, 14482 Potsdam-Babelsberg, Germany

          Add to Reading List

          Source URL: www.cs.uni-potsdam.de

          Language: English - Date: 2008-03-22 23:21:32
            36

            Directions Sprechstunden Hours of Operation By S-Train: S7 to train station “Potsdam Babelsberg“ By Tram: Noto Tram station “Alt-Nowawes“

            Add to Reading List

            Source URL: www.oberlinhaus.de

            Language: English - Date: 2011-03-11 09:54:38
              37

              PDF Document

              Add to Reading List

              Source URL: www.fx-center-babelsberg.de

              - Date: 2012-04-02 04:19:07
                38

                Studio fx1955

                Add to Reading List

                Source URL: www.fx-center-babelsberg.de

                - Date: 2012-04-02 04:18:59
                  39

                  Termin: undOrt: Metropolis Halle, Filmpark Babelsberg Informationen zum Vortragsthema

                  Add to Reading List

                  Source URL: www.animago.com

                  Language: German - Date: 2012-09-10 07:46:57
                    40

                    Termin: undOrt: Metropolis Halle, Filmpark Babelsberg Informationen zum Vortragsthema

                    Add to Reading List

                    Source URL: www.animago.com

                    Language: German - Date: 2012-09-10 08:01:07
                      UPDATE