Menü schließen
Autonome Region Sardiniens Autonome Region Sardiniens Autonome Region Sardiniens Autonome Region Sardiniens
Sardinienregion
Folge uns auf
Suchen Suche auf der Website

Sardinienregion

Andere Aktionen
Komm zurück Komm zurück

Lambda-calculus and combinators, an introduction

Hindley, James Roger

Lambda-calculus and combinators, an introduction
Information
Sie können es in finden

Kategorie

Testo

Natur

Monografia

Titel

Lambda-calculus and combinators, an introduction

Namen

[Autore] Hindley, James Roger
[Autore] Seldin, Jonathan P.

Beschreibung

Lambda-calculus and combinators, an introduction / J. Roger Hindley, Jonathan P. Seldin

Physische Beschreibung

XI, 345 p. ; 24 cm.

Standardzahlen

ISBN: 9780521898850

Datum

2008

Ort der Veröffentlichung

Cambridge [etc.]

Dorf

GRAN BRETAGNA

Zunge

INGLESE

Quelle

Biblioteche SBN Sardegna

ID

IT\ICCU\MIL\0751974

Ressourcenverbindungen

http://id.sbn.it/bid/MIL0751974
Biblioteca del Distretto tecnologico – sezione Matematica e informatica

Etikett

Andere Aktionen

Bilder

Pro/Engineer® Wildfire 3.0 : tutorial and multimedia CD

Pro/Engineer® Wildfire 3.0 : tutorial and multimedia CD

Autor : Toogood, Roger

Jahr : 2006
stele funeraria con iscrizione

stele funeraria con iscrizione

Autor : cultura romana

Jahr : 699

Ergebnisse 2 von 21519

Alle ansehen Alle ansehen

Texte

Combinatory logic. 2

Combinatory logic. 2

Autor : Curry, Haskell Brooks

Jahr : 1972
Introduzione alla logica combinatoria

Introduzione alla logica combinatoria

Autor : Hindley, James Roger

Jahr : 1975

Ergebnisse 2 von 2185211

Alle ansehen Alle ansehen

Video

James e la pesca gigante

James e la pesca gigante

Jahr : 2016
La piccola bottega degli orrori

La piccola bottega degli orrori

Jahr : 2008

Ergebnisse 2 von 69484

Alle ansehen Alle ansehen

Audio

Records for arabic pronunciation to be used with an introduction to modern Arabic : a set of four long-playing records accompany the book to help the student pronounce the Arabic text correctly ...

Records for arabic pronunciation to be used with an introduction to modern Arabic : a set of four long-playing records accompany the book to help the student pronounce the Arabic text correctly ...

Autor : Ziadeh, Farhat J.

Jahr : 1957
Classic James Last and his orchestra

Classic James Last and his orchestra

Autor : Last, James

Jahr : 2000

Ergebnisse 2 von 23785

Alle ansehen Alle ansehen

Kommentare

Andere laden

Schreibe einen Kommentar

Schicken
Schreibe einen Kommentar