Hochschulschrift
Funktionale Berechnung in einem uniform nebenläufigen Kalkül mit logischen Variablen
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Dimensions
-
30 cm
- Extent
-
145 S.
- Language
-
Deutsch
- Notes
-
graph. Darst.
Saarbrücken, Univ., Diss., 1995
- Keyword
-
Delta-Kalkül
Delta-Kalkül
- Creator
-
Niehren, Joachim
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.03.2025, 12:34 PM CET
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Object type
- Hochschulschrift
Associated
- Niehren, Joachim
Other Objects (12)
Funktionale Berechnung in einem uniform nebenläufigen Kalkül mit logischen Variablen
Die Grundlagen des logischen Kalküls : lateinisch-deutsch
Verallgemeinerte Hornklausellogik : vom logischen Kalkül zum Logik-Programmiersystem
Automatische Ausdrucksparallelisierung einer funktional-logischen Programmiersprache
Automatische Ausdrucksparallelisierung einer funktional-logischen Programmiersprache
Implementierung von funktionalen und logischen Programmiersprachen
Parallele Implementierung der funktional-logischen Programmiersprache BABEL
Zweyter Abschnitt. Vom logischen Sinn und logischen Gefühl
Die logischen Grundlagen
Zur logischen Frage
Entwurf, formale Definition und Implementierung der funktional-logischen Programmiersprache ET
Vom logischen Denken zum logischen Rechnen, Handbuch für Lehrerinnen und Lehrer.
Funktionale Berechnung in einem uniform nebenläufigen Kalkül mit logischen Variablen
Die Grundlagen des logischen Kalküls : lateinisch-deutsch
Verallgemeinerte Hornklausellogik : vom logischen Kalkül zum Logik-Programmiersystem
Automatische Ausdrucksparallelisierung einer funktional-logischen Programmiersprache
Automatische Ausdrucksparallelisierung einer funktional-logischen Programmiersprache
Implementierung von funktionalen und logischen Programmiersprachen
Parallele Implementierung der funktional-logischen Programmiersprache BABEL
Zweyter Abschnitt. Vom logischen Sinn und logischen Gefühl
Die logischen Grundlagen
Zur logischen Frage
Entwurf, formale Definition und Implementierung der funktional-logischen Programmiersprache ET
Vom logischen Denken zum logischen Rechnen, Handbuch für Lehrerinnen und Lehrer.
Funktionale Berechnung in einem uniform nebenläufigen Kalkül mit logischen Variablen
Die Grundlagen des logischen Kalküls : lateinisch-deutsch
Verallgemeinerte Hornklausellogik : vom logischen Kalkül zum Logik-Programmiersystem
Automatische Ausdrucksparallelisierung einer funktional-logischen Programmiersprache
Automatische Ausdrucksparallelisierung einer funktional-logischen Programmiersprache
Implementierung von funktionalen und logischen Programmiersprachen
Parallele Implementierung der funktional-logischen Programmiersprache BABEL
Zweyter Abschnitt. Vom logischen Sinn und logischen Gefühl
Die logischen Grundlagen
Zur logischen Frage
Entwurf, formale Definition und Implementierung der funktional-logischen Programmiersprache ET