Ira

Results: 4506



#Item
241

Formale Systeme Modallogik Prof. Dr. Peter H. Schmitt ¨ T HEORETISCHE I NFORMATIK KIT – I NSTITUT F UR

Add to Reading List

Source URL: i12www.ira.uka.de

Language: German - Date: 2013-01-18 08:09:35
    242

    Formale Systeme Aussagenlogik: Sequenzenkalkul ¨ Prof. Dr. Peter H. Schmitt ¨ T HEORETISCHE I NFORMATIK

    Add to Reading List

    Source URL: i12www.ira.uka.de

    Language: German - Date: 2011-11-10 10:25:06
      243

      DISRUPTION Group Chairman: Saif Ishoof, Florida International University Entrepreneurship/Innovation Committee Co-Chair: Xavier Gonzalez, eMerge Americas, LLC Co-Chair: Ira Rosner, Holland & Knight, LLP

      Add to Reading List

      Source URL: www.miamichamber.com

      Language: English - Date: 2017-06-02 16:22:21
        244

        RL SG Zwischentest Formale Systeme Fakulta¨t fu¨r Informatik WS

        Add to Reading List

        Source URL: i12www.ira.uka.de

        Language: German - Date: 2012-01-26 07:38:09
          245

          Karlsruher Institut f¨ ur Technologie Institut f¨ ur Theoretische Informatik Prof. Dr. Peter H. Schmitt Dr. V. Klebanov, Dr. M. Ulbrich, C. Scheben

          Add to Reading List

          Source URL: i12www.ira.uka.de

          Language: German - Date: 2014-02-07 07:46:44
            246

            Formale Systeme Aussagenlogik: Resolutionskalkul ¨ Prof. Dr. Peter H. Schmitt ¨ T HEORETISCHE I NFORMATIK

            Add to Reading List

            Source URL: i12www.ira.uka.de

            Language: German - Date: 2013-12-05 10:00:44
              247

              Formale Systeme ¨ Pradikatenlogik: Normalformen Prof. Dr. Peter H. Schmitt

              Add to Reading List

              Source URL: i12www.ira.uka.de

              Language: German - Date: 2011-12-02 04:34:22
                248

                Formale Systeme Endliche Automaten Prof. Dr. Peter H. Schmitt ¨ T HEORETISCHE I NFORMATIK KIT – I NSTITUT F UR

                Add to Reading List

                Source URL: i12www.ira.uka.de

                Language: German - Date: 2014-01-23 09:47:48
                  249

                  Formale Systeme Lineare Temporale Logik Prof. Dr. Peter H. Schmitt ¨ T HEORETISCHE I NFORMATIK KIT – I NSTITUT F UR

                  Add to Reading List

                  Source URL: i12www.ira.uka.de

                  Language: German - Date: 2012-02-03 02:49:29
                    250

                    Formale Systeme Tableaukalkul ¨ (ohne Gleichheit) Prof. Dr. Peter H. Schmitt ¨ T HEORETISCHE I NFORMATIK

                    Add to Reading List

                    Source URL: i12www.ira.uka.de

                    Language: German - Date: 2013-12-12 11:03:49
                      UPDATE