Vorstellung des Autors Henk Barendregt:

Bisher veröffentlichte Bücher von Henk Barendregt:

Lambda-Kalkül mit Typen - Lambda Calculus with Types
Dieses Handbuch mit Übungen offenbart in Formalismen, die bisher hauptsächlich für den Entwurf und die Verifikation...
Lambda-Kalkül mit Typen - Lambda Calculus with Types
Der Lambda-Kalkül. Seine Syntax und Semantik - The Lambda Calculus. Its Syntax and...
Der Lambda-Kalkül, der in diesem Buch hauptsächlich in...
Der Lambda-Kalkül. Seine Syntax und Semantik - The Lambda Calculus. Its Syntax and Semantics
Ein Lambda-Kalkül-Satellit - A Lambda Calculus Satellite
1936 wurde der Begriff der intuitiven Berechenbarkeit auf zwei verschiedene Arten operationalisiert:...
Ein Lambda-Kalkül-Satellit - A Lambda Calculus Satellite
Ein Lambda-Kalkül-Satellit - A Lambda Calculus Satellite
1936 wurde der Begriff der intuitiven Berechenbarkeit auf zwei verschiedene Arten operationalisiert:...
Ein Lambda-Kalkül-Satellit - A Lambda Calculus Satellite
<<
1
>>

© Book1 Group - Alle Rechte vorbehalten.
Der Inhalt dieser Seite darf weder teilweise noch vollständig ohne schriftliche Genehmigung des Eigentümers kopiert oder verwendet werden.
Letzte Änderung: 2024.11.13 22:11 (GMT)