LTL model
Autor/Urheber:
Attribution:
Das Bild ist mit 'Attribution Required' markiert, aber es wurden keine Informationen über die Attribution bereitgestellt. Vermutlich wurde bei Verwendung des MediaWiki-Templates für die CC-BY Lizenzen der Parameter für die Attribution weggelassen. Autoren und Urheber finden für die korrekte Verwendung der Templates hier ein Beispiel.
Shortlink:
Quelle:
Größe:
250 x 209 Pixel (6974 Bytes)
Beschreibung:
LTL model example
Lizenz:
Relevante Bilder
Relevante Artikel
Saul KripkeSaul Aaron Kripke war ein amerikanischer Philosoph und Logiker. Er schrieb wegweisende Beiträge zur Logik, insbesondere auf dem Feld der Modallogik und zur Sprachphilosophie, insbesondere zur Namenstheorie. .. weiterlesen