Automatisierte WWW-Veröffentlichung auf der Basis formaler ...

ai.cs.uni.dortmund.de

Automatisierte WWW-Veröffentlichung auf der Basis formaler ...

'RNXPHQWW\S 'HILQLWLRQHQ

XQG '666/ 6W\OHVKHHWV

'LHVHU $QKDQJ HQWKlOW GLH 6DPPOXQJ GHU ���V XQG 6W\OHVKHHWV GLH

LFK LP 5DKPHQ GLHVHU 'LSORPDUEHLW HQWZRUIHQ KDEHQ 8P GLH /HV

EDUNHLW GHV 7H[WHV ]X YHUEHVVHUQ KDEH LFK VLH DQ GDV (QGH GHU $U

EHLW SOD]LHUW

% '7' I U 6XFKPXVWHU

'DV IROJHQGH /LVWLQJ ]HLJW GLH ��� I U HLQ 6XFKPXVWHU

'7' I U 6XFKPXVWHU

7HLO HLQHU 'LSORPDUEHLW DP

/HKUVWXKO I U . QVWOLFKH ,QWHOOLJHQ]

)DFKEHUHLFK ,QIRUPDWLN

8QL 'RUWPXQG

*HUPDQ\

F 6WHIDQ 0LQWHUW

%HQXW]XQJ

'2&7

More magazines by this user
Similar magazines