Katalog der Deutschen Nationalbibliothek

Neuigkeiten

Leichte Bedienung, intuitive Suche: Die Betaversion unseres neuen Katalogs ist online! → Zur Betaversion des neuen DNB-Katalogs

 
Neuigkeiten Noch nicht die passende Literatur gefunden? → Book a Librarian
 
 

Ergebnis der Suche nach: idn=965320405



Treffer 1 von 1 < < > <



Bücher
Link zu diesem Datensatz https://d-nb.info/965320405
Art des Inhalts Hochschulschrift
Titel Constraint-lambda calculi : theory and applications / Matthias M. Hölzl
Person(en) Hölzl, Matthias M. (Verfasser)
Zeitliche Einordnung Erscheinungsdatum: 2001
Umfang/Format XIV, 211 S. : graph. Darst. ; 21 cm + 1 CD-R
Hochschulschrift München, Univ., Diss., 2001
Sprache(n) Englisch (eng)
Schlagwörter Constraint-logische Programmierung ; Lambda-Kalkül
Sachgruppe(n) 28 Informatik, Datenverarbeitung

Frankfurt Signatur: H 2002 A 4519
Bereitstellung in Frankfurt
Leipzig Signatur: H 2002 A 4519
Bereitstellung in Leipzig




Treffer 1 von 1
< < > <




Aktionen

Aktionen


E-Mail-IconKorrekturanfrage

E-Mail-IconAdministration