Katalog der Deutschen Nationalbibliothek

Neuigkeiten Aufgrund der Corona-Pandemie bleiben die Benutzungsbereiche der Deutschen Nationalbibliothek bis auf Weiteres, voraussichtlich bis Sonntag, 31. Januar 2021 geschlossen. Bestellungen von Medien werden in dieser Zeit nicht bearbeitet. Alle Informationen dazu finden Sie auf unserer Homepage.
 
Neuigkeiten Die mehr als 1,3 Millionen frei zugänglichen Online-Publikationen können in der Trefferliste über "Alle Standorte - Online (frei zugänglich)" gefiltert werden. Zugang erhalten Sie in der Datensatzansicht über den Link "Archivobjekt öffnen" oder über die URN im Label "Persistent Identifier".
 
 

Ergebnis der Suche nach: betRef=172098351



Treffer 1 von 3 < < > <



Online Ressourcen
Link zu diesem Datensatz http://d-nb.info/967578221
Art des Inhalts Konferenzschrift, 1999, L'Aquila
Titel Typed lambda calculi and applications : 4th international conference ; proceedings / TLCA '99, L'Aquila, Italy, April 1999. Jean-Yves Girard (ed.)
Person(en) Girard, Jean-Yves (Mitwirkender)
Organisation(en) TLCA (4 : 1999 : L'Aquila) (Herausgebendes Organ)
Verlag Berlin ; Heidelberg : Springer
Zeitliche Einordnung Erscheinungsdatum: 2002
Umfang/Format Online-Ressource (PDF)
Andere Ausgabe(n) Druckausg.: Typed lambda calculi and applications
Persistent Identifier DOI: 10.1007/3-540-48959-2
URL http://link.springer.de/link/service/series/0558/tocs/t1581.htm
ISBN/Einband/Preis 978-3-540-48959-7
Sprache(n) Englisch (eng)
Beziehungen Lecture notes in computer science ; 1581
Anmerkungen Lizenzpflichtig
Schlagwörter Typisierter Lambda-Kalkül ; Kongress ; L'Aquila <1999> ; Online-Publikation
Deklarative Programmierung ; Kongress ; L'Aquila <1999> ; Online-Publikation
Sachgruppe(n) 28 Informatik, Datenverarbeitung ; 27 Mathematik

Online-Zugriff Archivobjekt öffnen

Exemplarbezogene Daten stehen derzeit nicht zur Verfügung. Die Online-Bestellung von Medien ist deshalb nicht möglich.





Treffer 1 von 3
< < > <


E-Mail-IconAdministration