[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"... Ed. by C. Böhm
Materialtyp:![Text](/opac-tmpl/lib/famfamfam/BK.png)
- Text
- ohne Hilfsmittel zu benutzen
- Band
- 3540074163
- 0387074163
- Lambda-calculus
- Combinatory logic -- Congresses
- Programming languages (Electronic computers) -- Congresses
- Informatik
- Kombinatorische Logik
- Kombinatorische Logik
- Lambda-Kalkül
- Lambda-Kalkül
- Logik
- Metamathematik
- Programmiersprache
- Programmiersprache
- Informatik
- Lambda-Kalkül
- Programmiersprache
- Kombinatorische Logik
- Programmiersprache
- Kombinatorische Logik
- Logik
- Lambda-Kalkül
- Metamathematik
- 511/.3
- QA9.5
- 26b
- SS 4800
- SS 1975
- QH 500
- 31.11
- 31.80
Inhalte:
Bearbeitungsvermerk: - Archivierung/Langzeitarchivierung gewährleistet PEBW
Medientyp | Aktuelle Bibliothek | Sammlung | Standort | Signatur | Status | Fälligkeitsdatum | Barcode | |
---|---|---|---|---|---|---|---|---|
![]() |
Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) | Campusbibliothek für Informatik und Mathematik (E2 3) | Series (GF) | LNCS 37 1.Ex (Regal durchstöbern(Öffnet sich unterhalb)) | Verfügbar | 2200000094865 |
Includes bibliographical references
Includes bibliographical references
Böhm, C.: Lambda-Calculus and Computer Science Theory
[Lambda]-calculus and computer science theory
Archivierung/Langzeitarchivierung gewährleistet PEBW pdager DE-31