| products/Sources/formale Sprachen/Isabelle/HOL/Tools/Sledgehammer/ |
|
Für Menschen verständliche und geeignete Informationen
Ergonomie der
Schnittstellen
| |||||
Für Menschen verständliche und geeignete InformationenErgonomie der Schnittstellen |