SBB StaBiKat - results/shortlist

Suchergebnis

sortiert nach

Unscharfe Suche

Kurzliste

______________

Treffer filtern

______________

Weitere Kataloge
und Datenbanken

Basisklassifikation

Historische Systematik
1501 - 1955

Lesesaal-
systematik

______________

Auskunft

Bibliothekskonto

Anschaffungs-
vorschlag

______________

Datenschutz

Barrierefreiheit

Impressum
(Imprint)


			1 - 6 von 6
	Ihre Aktion	Suchen (Schlagwörter GND (Phrase) (XSP)) lambda-calcul eingrenzen (Basisklassifikation (XBKL)) 31.11


	1.	Zur Pragmatik eines operationalisierten [lambda]-Kalk�ls als Basis f�r interaktive Reduktionssysteme Zimmer, Ralf M.. - M�nchen : Oldenbourg, 1991

	2.	Introduction to combinators and [lambda]-calculus Hindley, James Roger 1939-. - Cambridge [u.a.] : Cambridge Univ. Press, 1986

	3.	To H. B. Curry: essays on combinatory logic, lambda calculus and formalism Seldin, Jonathan Paul. - London [u.a.] : Acad. Press, 1980

	4.	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" of the Consiglio Nazionale delle Ricerche B�hm, C.. - Berlin, Heidelberg : Springer Berlin Heidelberg, 1975

	5.	[Lambda]-calculus and computer science theory : proceedings of the symposium held in Rome, March 25 - 27, 1975 B�hm, Corrado 1923-2017. - Online-Ausg.. - Berlin [u.a.] : Springer, 1975

	6.	[Lambda]-calculus and computer science theory : proceedings of the symposium held in Rome, March 25 - 27, 1975 B�hm, Corrado 1923-2017. - Berlin : Springer, 1975

1 - 6 von 6

Wort		Typ		Anzahl

lambda-calcul		Schlagwörter GND (Phrase) (XSP)		43
31.11		Basisklassifikation (XBKL)		327

1 - 6 von 6