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 - 2 von 2
	Ihre Aktion	Suchen (Schlagwörter GND (Phrase) (XSP)) calcul eingrenzen (Basisklassifikation (XBKL)) 31.10


	1.	Lectures on the Curry-Howard isomorphism Sørensen, Morten Heine. - 1st ed. Online-Ausg.]. - Amsterdam : Elsevier, 2006

	2.	Lectures on the Curry-Howard isomorphism Sørensen, Morten Heine. - 1st ed. - Amsterdam : Elsevier, 2006

1 - 2 von 2

Wort		Typ		Anzahl

calcul		Schlagwörter GND (Phrase) (XSP)		≈2525
31.10		Basisklassifikation (XBKL)		1223

1 - 2 von 2