Präzisierung dreier axiomatisierter Theorien des Rechnungswesens in einer formalen Typentheorie

Bamberg, Univ., Diss., 1992

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Herde, Georg (VerfasserIn)
Format:	UnknownFormat
Sprache:	ger
Veröffentlicht:	1992
Schlagworte:	Theorie > Mathematisches Modell > Rechnungswesen > Hochschulschrift
Online Zugang:	Inhaltsverzeichnis
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
Zusammenfassung:	Bamberg, Univ., Diss., 1992
Beschreibung:	V, 135 S.