Logikkalküle in der Informatik wie wird Logik vom Rechner genutzt? von Schenke, Michael 1957-

DE-522
DE-B768
DE-634
DE-526
DE-1043
DE-1102
DE-1046
DE-858
DE-1028
DE-Aug4
DE-1050
DE-573
DE-M347
DE-92
DE-1051
DE-898
DE-859
DE-860
DE-1049
DE-861
DE-863
DE-862
DE-523
DE-91
DE-473
DE-19
DE-703
DE-20
DE-706
DE-29
Volltext
Inhaltsverzeichnis
Abstract

Logikkalküle von Richter, Michael M. 1938-2020

Inhaltsverzeichnis

All there is on the semantics of quantification over absolutely everything von Filin Karlsson, Martin 1974-

Inhaltsverzeichnis

Laws of form von Spencer-Brown, G. 1923-2016

Dual Tableaux foundations, methodology, case studies von Orłowska, Ewa 1935-, Golińska-Pilarek, Joanna 1976-

DE-634
DE-91
DE-384
DE-19
DE-703
DE-20
DE-29
DE-739
URL des Erstveröffentlichers

Dual Tableaux Foundations, Methodology, Case Studies von Orłowska, Ewa 1935-, Golińska-Pilarek, Joanna 1976-

Inhaltstext
Inhaltsverzeichnis

Logical analysis of hybrid systems proving theorems for complex dynamics von Platzer, André

Inhaltsverzeichnis
Inhaltstext
Inhaltsverzeichnis

Formale Subtextanalyse Kalkülisierung von Narration und Interpretation von Klimczak, Peter 1982-

Inhaltsverzeichnis

Aristotelische Logiken dargestellt als algebraische Kalküle von Neumaier, Wilfried

Inhaltsverzeichnis

Logikkalküle in der Informatik Wie wird Logik vom Rechner genutzt? von Schenke, Michael 1957-

Inhaltsverzeichnis

Logical analysis of hybrid systems proving theorems for complex dynamics von Platzer, André

Volltext

Laws of form von Spencer-Brown, G. 1923-2016

Inhaltstext
Inhaltsverzeichnis

Laws of form = Gesetze der Form von Spencer-Brown, G. 1923-2016

Verification of modal properties using Boolean equation systems von Mader, Angelika

Inhaltsverzeichnis

Gesetze der Form von Spencer-Brown, G. 1923-2016

Frege and the logic of sense and reference von Klement, Kevin C.

Inhaltsverzeichnis

Laws of form - Gesetze der Form von Spencer-Brown, G. 1923-2016

The presentation of formal proofs von Simons, Martin

The presentation of formal proofs von Simons, Martin

Laws of form = Gesetze der Form von Spencer-Brown, G. 1923-2016

Laws of form