Hochschulschrift

Zur Anwendung kombinatorischer Verfahren der Logik auf die Formalisierung der Syntax

zu Verbundenen Objekten

Standort
Deutsche Nationalbibliothek Frankfurt am Main
Maße
8
Umfang
138 S.
Sprache
Deutsch
Anmerkungen
Bonn, Phil. F., Diss. v. 6. Nov. 1968

Ereignis
Veröffentlichung
(wo)
Bonn
(wann)
1968
Urheber

Inhaltsverzeichnis
Rechteinformation
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
Letzte Aktualisierung
11.03.2025, 12:25 MEZ

Datenpartner

Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.

Objekttyp

  • Hochschulschrift

Beteiligte

Entstanden

  • 1968

Ähnliche Objekte (12)

Zur Anwendung kombinatorischer Verfahren der Logik auf die Formalisierung der Syntax

Zur Anwendung kombinatorischer Verfahren der Logik auf die Formalisierung der Syntax

Unendliche Reduktionen in der kombinatorischen Logik

Unendliche Reduktionen in der kombinatorischen Logik

Logik der Syntax

Buch

Logik der Syntax

Logik der Syntax

Logik der Syntax

Logik der Syntax

Logik der Syntax

Logik der Syntax

Logik der Syntax

Logik der Syntax

Logik der Syntax

Logik der Syntax

Logik der Syntax

Kombinatorische und sequentielle Schaltsysteme : Logik, Aufbau, Optimierung

Kombinatorische und sequentielle Schaltsysteme : Logik, Aufbau, Optimierung

Metaphern in der Informatik : Modellbildung, Formalisierung, Anwendung

Hochschulschrift

Metaphern in der Informatik : Modellbildung, Formalisierung, Anwendung

Formalisierung der Semantik von Programmiersprachen und Anwendungen

Formalisierung der Semantik von Programmiersprachen und Anwendungen

Gerd Mitschke - Zur Algebraischen Behandlung der Kombinatorischen Logik;

Sachakte

Gerd Mitschke - Zur Algebraischen Behandlung der Kombinatorischen Logik;

Verbundene Objekte