| Signature mark | NL 214/138 |
|---|---|
| Subject | Manuskript (1) |
| Author |
Laut, Alfred
|
| Title | Spezifikation der Anwendung einer Transformationsregel |
| Contains | Aussagen über Teilsätze, Selektion einer totalen Funktion, Bildung einer reflexiven transitiven Hülle |
| Duration | 30.11.1978 |
| Scope | 3 Bl. hs. (Kopie) |
| Subject area | Programmsteuerung und Universalrechner <422> |
| Rights notice | CC BY-SA 4.0 |
