Die Extraktion von Restriktionen aus Aufgabenbeschreibungen für die statische, konzeptbasierte Diagnose von Lösungs- bzw. Schaltungsentwürfen

BIB
Willms, J. and Möbus, C.
Informatik und Ausbildung: GI-Fachtagung 98 Informatik und Ausbildung
04 / 1998
3-540-64178-5
inproceedings
Springer-Verlag
241-250
Springer-Verlag