Ihre Suche erzielte 12 Treffer.

Ergebnisse
	1.	[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 von Böhm, Corrado, 1923-2017 [oth] Istituto per le Applicazioni del Calcolo Mauro Picone [oth] Symposium on Lambda-Calculus and Computer Science Theory 1975 Rom [oth] Reihen: ; 3700 \| Lecture notes in computer science ; 37 Materialtyp: Text; Format: Druck Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 1975 Weitere Titel: Lambda-calculus Online-Ressourcen: Cover Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) LNCS 37 1.Ex. Vormerken Zum Korb hinzufügen (Entfernen)
	2.	Introduction to combinatory logic J. R. Hindley; B. Lercher; J. P. Seldin von Hindley, James Roger, 1939- [aut] Lercher, Bruce [aut] Seldin, Jonathan P [aut] Lercher, B [oth] Seldin, Jonathan Paul [oth] Reihen: ; 700 \| London Mathematical Society Lecture note series / London Mathematical Society ; 7 \| Materialtyp: Text; Format: Druck Sprache: Englisch Verlag: Cambridge Cambridge Univ. Press 1972 Online-Ressourcen: Inhaltsverzeichnis Inhaltsverzeichnis Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) LMS 7. Vormerken Zum Korb hinzufügen (Entfernen)
	3.	Introduction to combinators and [lambda]-calculus J. Roger Hindley; Jonathan P. Seldin von Hindley, James Roger, 1939- [aut] Seldin, Jonathan P [aut] Reihen: ; 100 \| London Mathematical Society London Mathematical Society student texts ; 1 \| Materialtyp: Text; Format: Druck Sprache: Englisch Verlag: Cambridge [u.a.] Cambridge Univ. Press 1986 Online-Ressourcen: Inhaltsverzeichnis Inhaltsverzeichnis Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (2)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) HIN j 1986:1 1.Ex, ... Vormerken Zum Korb hinzufügen (Entfernen)
	4.	Logic and computation interactive proof with Cambridge LCF Lawrence C. Paulson von Paulson, Lawrence C [aut] Reihen: ; 200 \| Cambridge tracts in theoretical computer science ; 2 Auflage: 1. publ. Materialtyp: Text; Format: Druck Sprache: Englisch Verlag: Cambridge [u.a.] Cambridge University Press 1987 Online-Ressourcen: Zentralblatt MATH Inhaltstext Verlagsangaben Sample text Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (3)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) PAU l 1987:1 3.Ex, ... Vormerken Zum Korb hinzufügen (Entfernen)
	5.	Introduction to combinators and lambda-calculus J. Roger Hindley; Jonathan P. Seldin von Hindley, James Roger, 1939- [aut] Seldin, Jonathan P [aut] Seldin, Jonathan Paul [oth] Reihen: ; 1,4 \| London Mathematical Society London Mathematical Society student texts ; 1.1993 \| Auflage: Reprinted Materialtyp: Text; Format: Druck Sprache: Englisch Verlag: Cambridge [u.a.] Cambridge Univ. Press 1993 Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) HIN j 1993:1 1.Ex. Vormerken Zum Korb hinzufügen (Entfernen)
	6.	The combinatory programme Erwin Engeler in collab. with K. Aberer ... von Engeler, Erwin [Hrsg.] Reihen: ; 15 \| Progress in theoretical computer science ; 15 Materialtyp: Text; Format: Druck Sprache: Englisch Verlag: Boston [u.a.] Birkhäuser 1995 Online-Ressourcen: Zentralblatt MATH Inhaltstext Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) ENG e 1995:1 1.Ex. Vormerken Zum Korb hinzufügen (Entfernen)
	7.	Logical frameworks for truth and abstraction an axiomatic study Andrea Cantini von Cantini, Andrea [aut] Reihen: ; 135 \| Studies in logic and the foundations of mathematics ; 135 Materialtyp: Text; Format: Druck Sprache: Englisch Verlag: Amsterdam [u.a.] Elsevier 1996 Online-Ressourcen: Verlagsangaben Inhaltsverzeichnis Inhaltsverzeichnis Zentralblatt MATH Inhaltstext Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) CAN a 1996:1 1.Ex. Vormerken Zum Korb hinzufügen (Entfernen)
	8.	Lectures on the Curry-Howard isomorphism Morten Heine Sørensen; Paweł Urzyczyn von Sørensen, Morten Heine [aut] Urzyczyn, Paweł [aut] Reihen: ; 14900 \| Studies in logic and the foundations of mathematics ; 14900 Auflage: 1st ed. Materialtyp: Text; Format: Druck Sprache: Englisch Verlag: Amsterdam Heidelberg Elsevier 2006 Online-Ressourcen: Inhaltsverzeichnis Inhaltsverzeichnis Verlagsangaben Zentralblatt MATH Inhaltstext Verfügbarkeit: Verfügbarer Präsenzbestand: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik): Nicht ausleihbar (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) SOR m 2006:1 1.Ex. Zum Korb hinzufügen (Entfernen)
	9.	Combinators, lambda-terms and proof theory av Sören Stenlund von Stenlund, Sören, 1943- [aut] Reihen: Synthese library Materialtyp: Text; Format: Druck Sprache: Englisch Verlag: Dordrecht Reidel 1972 Hochschulschriftenvermerk: Zugl.: Uppsala, Univ., Diss., 1972 Online-Ressourcen: Inhaltsverzeichnis Inhaltsverzeichnis Cover Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) StEN s 1972:1 1.Ex. Vormerken Zum Korb hinzufügen (Entfernen)
	10.	To H. B. Curry: essays on combinatory logic, lambda calculus and formalism ed. by J. P. Seldin ... von Seldin, Jonathan Paul [oth] Curry, Haskell Brooks [GefeierteR] Hindley, James Roger [oth] Seldin, Jonathan P [Hrsg.] Curry, Haskell B, 1900-1982 [GefeierteR] Materialtyp: Text; Format: Druck Sprache: Englisch Verlag: London [u.a.] Acad. Press 1980 Online-Ressourcen: Inhaltsverzeichnis Inhaltsverzeichnis Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) SEL j 1980:1 2.Ex. Verfügbarer Präsenzbestand: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik): Nicht ausleihbar (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) SEL j 1980:1 1.Ex. Vormerken Zum Korb hinzufügen (Entfernen)
	11.	Lambda-calculus and combinators an introduction J. Roger Hindley (Department of Mathematics, Swansea University, Wales, UK), Jonathan P. Seldin (Department of Mathematics and Computer Science, University of Lethbridge, Alberta, Canada) von Hindley, James Roger, 1939- [VerfasserIn] Seldin, Jonathan P [VerfasserIn] Materialtyp: Text; Format: Druck Sprache: Englisch Verlag: Cambridge Cambridge University Press [2008] Online-Ressourcen: Inhaltsverzeichnis Inhaltsverzeichnis Zentralblatt MATH Inhaltstext Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) HIN j 2008:1 2.Ex. Verfügbarer Präsenzbestand: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik): Nicht ausleihbar (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) HIN j 2008:1 1.Ex. Vormerken Zum Korb hinzufügen (Entfernen)
	12.	Combinatory logic Haskell B. Curry ... von Curry, Haskell B, 1900-1982 [oth] Reihen: Studies in logic and the foundations of mathematics ; ... Materialtyp: Gesamtaufnahme Sprache: Englisch Verlag: Amsterdam North-Holland Publ. 1958- Verfügbarkeit: Keine Exemplare verfügbar. Zum Korb hinzufügen (Entfernen)

Datenschutzhinweise

© 2023 Campusbibliothek für Informatik und Mathematik | GWDG

Powered by Koha