Do you know where the Titurel software can be downloaded from? It's a language developed for the Relational Mathematics book. The home page does not seem to show any download links.
Titurel for Relational Mathematics by Gunther Schmidt from Universität der Bundeswehr München
auxi
- 91
- 3