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

ai.cs.uni.dortmund.de

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

��

��������������

������������

JHEXQJVSU IXQJ ]X HU]HXJHQ 8P GDV 6XFKPXVWHU ªERWWRP XS© ]X

GXUFKODXIHQ I KUW GDV 3URJUDPP HLQH 7LHIHQVXFKH GXUFK XQG JLEW

EHL (UUHLFKHQ HLQHV (QG 7DJV GHQ HQWVSUHFKHQGHQ &R67 3URJUDPP

FRGH DXV 'XUFK GLHVHV 9RUJHKHQ LVW GLH JHZ QVFKWH 6LFKWZHLVH JH

ZlKUOHLVWHW (V IROJW GHU ]XVWlQGLJH (YHQW +DQGOHU DOV 3VHXGR &RGH

(YHQW +DQGOHU GHU EHL (UUHLFKHQ HLQHV

(QG 7DJV DXVJHI KUW ZLUG

LI DNWXHOOHV (OHPHQW ( KDW 6WDUW 7DJ GHU )RUP (/(0(17 7

More magazines by this user
Similar magazines