Konzeption und Implementierung von Verfahren zur (halb-)automatischen Prüfung natürlichsprachlicher Spezifikationen

Description

Stuttgart, Univ., Fakultät Informatik, Diplomarb., 1998.

Links & Downloads

1. urn:nbn:de:bsz:93-opus-3559
2. http://www.bsz-bw.de/cgi-bin/xvms.cgi?SWB7084247

Tags

Additional Fields

Identifer	oai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/313090750
Date	January 1998
Creators	Richter, Martin.
Publisher	[S.l.] : Universität Stuttgart , Fakultät Informatik,
Source Sets	OCLC
Language	German
Detected Language	German