Campusbibliothek

Ihre Suche erzielte 8 Treffer.

Sortieren
Alle auswählen Auswahl aufheben
Titel auswählen:
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 Reihen: ; 3700 | Lecture notes in computer science ; 37
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 1975
Weitere Titel:
  • Lambda-calculus
Online-Ressourcen:
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
2.
Algebra of proofs M. E. Szabo von Reihen: ; 88 | Studies in logic and the foundations of mathematics ; 88
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Amsterdam [u.a.] North-Holland 1978
Online-Ressourcen:
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) SZA m 1978:1 1.Ex, ...
Vormerken Zum Korb hinzufügen
3.
Introduction to combinatory logic J. R. Hindley; B. Lercher; J. P. Seldin von Reihen: ; 700 | London Mathematical Society Lecture note series / London Mathematical Society ; 7 |
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Cambridge Cambridge Univ. Press 1972
Online-Ressourcen:
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
4.
Combinators and functional programming languages Val d'Ajol, France, May 6 - 10, 1985; proc. ed. by Guy Cousineau ... von Reihen: ; 242 | Laboratoire d'informatique théorique et programmation ... Spring school of the LITP ; 13 | Lecture notes in computer science ; 242
Materialtyp: Text Text; Format: Druck
Sprache: Englisch, Französisch Verlag: Berlin Heidelberg New York London Paris Tokyo Springer 1986
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 242.
Vormerken Zum Korb hinzufügen
5.
Introduction to combinators and [lambda]-calculus J. Roger Hindley; Jonathan P. Seldin von Reihen: ; 100 | London Mathematical Society London Mathematical Society student texts ; 1 |
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Cambridge [u.a.] Cambridge Univ. Press 1986
Online-Ressourcen:
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
6.
The combinatory programme Erwin Engeler in collab. with K. Aberer ... von Reihen: ; 15 | Progress in theoretical computer science ; 15
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Boston [u.a.] Birkhäuser 1995
Online-Ressourcen:
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
7.
Combinators, lambda-terms and proof theory av Sören Stenlund von Reihen: Synthese library
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Dordrecht Reidel 1972
Hochschulschriftenvermerk: Zugl.: Uppsala, Univ., Diss., 1972
Online-Ressourcen:
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
8.
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
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Cambridge Cambridge University Press [2008]
Online-Ressourcen:
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
Seiten

Impressum

Datenschutzhinweise

© 2023 Campusbibliothek für Informatik und Mathematik | GWDG

Powered by Koha