To H. B. Curry: essays on combinatory logic, lambda calculus and formalism ed. by J. P. Seldin ...
Materialtyp:![Text](/opac-tmpl/lib/famfamfam/BK.png)
- Text
- ohne Hilfsmittel zu benutzen
- Band
- 0123490502
- 511.3
- QA9.2
- SK 400
- 31.11
- 31.10
Medientyp | Aktuelle Bibliothek | Sammlung | Standort | Signatur | Status | Fälligkeitsdatum | Barcode | Semesterapparate | |
---|---|---|---|---|---|---|---|---|---|
![]() |
Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) | Campusbibliothek für Informatik und Mathematik (E2 3) | Books A-Z (1st) | SEL j 1980:1 2.Ex (Regal durchstöbern(Öffnet sich unterhalb)) | Verfügbar | 2000000055893 | |||
Semesterapparat (Buch) | Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) | Campusbibliothek für Informatik und Mathematik (E2 3) | Course Reference (GF) | SEL j 1980:1 1.Ex (Regal durchstöbern(Öffnet sich unterhalb)) | Nicht ausleihbar | 2200000261038 |
Regale von HOMEBRANCH: Max-Planck-Institut für Informatik durchstöbern, Standort: Books A-Z (1st), Sammlung: Campusbibliothek für Informatik und Mathematik (E2 3) Regalbrowser ausblenden (Regal ausblenden)
SEG t 2009:1 1.Ex Beautiful data [the stories behind elegant data solutions] | SEK e 1999:1 1.Ex Program development by refinement case studies using the B method | SEL a 1990:1 1.Ex Complexity theory retrospective [1] | SEL j 1980:1 2.Ex To H. B. Curry: essays on combinatory logic, lambda calculus and formalism | SEL p2 1991:1 1.Ex Foundational issues in natural language processing | SEL p3 2004:1 1.Ex Angewandte Bioinformatik eine Einführung ; sowie Übungen und Lösungen | SEN a 1990:1 1.Ex Regression analysis theory, methods, and applications |
Festschrift Haskell B. Curry. - S. XIII - XX Personalbibliographie H. B. Curry