Options
Präzisierung dreier axiomatisierter Theorien des Rechnungswesens in einer formalen Typentheorie
Herde, Georg (1992): Präzisierung dreier axiomatisierter Theorien des Rechnungswesens in einer formalen Typentheorie, Bamberg.
Author:
Publisher Information:
Year of publication:
1992
Pages:
Language:
German
Remark:
Bamberg, Univ., Diss.
Type:
Doctoralthesis
Activation date:
July 13, 2015
Permalink
https://fis.uni-bamberg.de/handle/uniba/25118