Normale Ansicht MARC ISBD

[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

Mitwirkende(r):

Materialtyp: Text

TextSprache: Englisch Reihen: ; 3700 | Lecture notes in computer science ; 37Verlag: Berlin Heidelberg [u.a.] Springer 1975Beschreibung: XII, 370 S. graph. DarstInhaltstyp:

Text

Medientyp:

ohne Hilfsmittel zu benutzen

Datenträgertyp:

Band

ISBN:

3540074163
0387074163

Weitere Titel:

Lambda-calculus

Schlagwörter: Genre/Form:

Konferenzschrift -- 1975 -- Rom

Andere physische Formen: Online-Ausg.: [Lambda]-calculus and computer science theory; Erscheint auch als: Lambda-Calculus and Computer Science TheoryDDC-Klassifikation:

511/.3

LOC-Klassifikation:

QA9.5

Andere Klassifikation:

26b
SS 4800
SS 1975
QH 500
31.11
31.80

Online-Ressourcen:

Cover

Inhalte:

Bearbeitungsvermerk:

Archivierung/Langzeitarchivierung gewährleistet PEBW

Andere Ausgaben: Erscheint auch als (Online-Ausgabe): / Böhm, C.: Lambda-Calculus and Computer Science Theory; Online-Ausg.: / [Lambda]-calculus and computer science theory

Exemplare ( 1 )
Titelinformationen ( 5 )

Exemplare
Medientyp	Aktuelle Bibliothek	Sammlung	Standort	Signatur	Status	Fälligkeitsdatum	Barcode
Buch	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

Böhm, C.: Lambda-Calculus and Computer Science Theory

[Lambda]-calculus and computer science theory

Archivierung/Langzeitarchivierung gewährleistet PEBW pdager DE-31