Logik

Results: 156



#Item
11

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: 2014-01-30 09:52:40
    12

    Inhalt: - Logik - UML - Petri-Netze - XML

    Add to Reading List

    Source URL: www.is.informatik.uni-duisburg.de

    Language: German - Date: 2007-10-17 12:00:51
      13

      Moderní logika bourá své hranice Můžeme pomocí logiky správně myslet? Proč lidé v logickém myšlení stále chybují? Potřebujeme k usuzování jazyk? Přední český logik a filozof Jaroslav Peregrin prozra

      Add to Reading List

      Source URL: www.novabeseda.cz

      Language: Czech - Date: 2018-04-28 14:21:02
        14

        HSK von 1830 Königlich in Fantasie und Logik www.hsk1830.de www.hskjugend.de www.schachschule-hamburg.de

        Add to Reading List

        Source URL: www.hsk1830.de

        - Date: 2016-11-12 11:59:44
          15

          Reconfigurable Supercomputing aktuelles Schlagwort Reiner Hartenstein Die vor etwa 20 Jahren aufgekommenen FPGAs (Field-Programmable Gate Arrays) galten zunächst als alternative Plattformen für den Logik-Entwurf. Als n

          Add to Reading List

          Source URL: helios.informatik.uni-kl.de

          - Date: 2006-11-07 06:26:01
            16

            Technische Universität München Lehrstuhl für Logik und Verifikation Automatic Proofs and Refutations for Higher-Order Logic

            Add to Reading List

            Source URL: mediatum.ub.tum.de

              17

              Logik Vorlesung Wintersemester 2016 Ludwig-Maximilians-Universit¨at M¨ unchen Josef Berger

              Add to Reading List

              Source URL: www.mathematik.uni-muenchen.de

              - Date: 2016-12-20 17:16:44
                18

                Colloquium LogicumSeptember 22-24, 2006, Bonn, Germany English follows German Tagung der Deutschen Vereinigung fur ¨ Mathematische Logik und fur

                Add to Reading List

                Source URL: www.math.uni-bonn.de

                - Date: 2013-10-17 06:21:25
                  19

                  Protokoll der Fachgruppensitzung der 8. Jahrestagung Am 6. Juni 2001 wurde in München das jährliche Treffen unserer Fachgruppe Logik in der Informatik veranstaltet, in dessen Rahmen auch die Fachgruppensitzung stattfan

                  Add to Reading List

                  Source URL: fg-loginf.gi.de

                  - Date: 2014-03-11 06:01:24
                    20

                    Microsoft PowerPoint - D-INFK_Logik_LogicTraffic.ppt

                    Add to Reading List

                    Source URL: www.ruedi-arnold.com

                    - Date: 2011-12-23 03:19:30
                      UPDATE