KOBV-Portal

Treffer pro Seite

Treffer 1 - 1 | 1 Treffer

Alles auswählen Exportieren

Online-Ressource

Lambda-Calculus and Computer Science Theory : Proceedings of the Symposium held in Rome, March 25-27, 1975. IAC - CNR Istituto per le Applicazioni del Calcolo "Mauro Picone" of the Consiglio Nazionale delle Ricerche (1975)

Böhm, C.

Berlin, Heidelberg : Springer Berlin Heidelberg

zur Merkliste hinzufügen auf der Merkliste

Details

UID:

gbv_1649194471

Umfang: Online-Ressource

ISBN: 9783540379447

Serie: Lecture Notes in Computer Science 37

Weitere Ausg.: ISBN 9783540074168

Weitere Ausg.: Buchausg. u.d.T. [Lambda]-calculus and computer science theory Berlin : Springer, 1975 ISBN 3540074163

Weitere Ausg.: ISBN 0387074163

Sprache: Englisch

Fachgebiete: Informatik , Wirtschaftswissenschaften

RVK:

SS 4800

RVK:

SS 1975

RVK:

QH 500

Schlagwort(e): Programmiersprache ; Kombinatorische Logik ; Programmiersprache ; Kombinatorische Logik ; Logik ; Lambda-Kalkül ; Metamathematik ; Konferenzschrift

DOI: 10.1007/BFb0029515

URL: Volltext

URL: Cover

Bibliothek	Standort	Signatur	Band/Heft/Jahr	Verfügbarkeit

Andere fanden auch interessant ...

Online-Ressource

Online Zugang

Open Access Wunsch

Stabi Berlin

Treffer 1 - 1 | 1 Treffer

Kooperativer Bibliotheksverbund

Berlin Brandenburg