Generic programs and proofs

Bonn, Univ., Habil.-Schr., 2001. - Nicht für den Austausch

Bibliographische Detailangaben

1. Verfasser:	Hinze, Ralf (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	2000
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!