Semantic Authoring in a Flexiformal Context — Bulk Annotation of Rigorous Documents
| Title: | Semantic Authoring in a Flexiformal Context — Bulk Annotation of Rigorous Documents |
|---|---|
| Authors: | Kohlhase, MichaelAff1; Schaefer, Jan FrederikAff1 |
| Contributors: | Goos, Gerhard, Founding EditorAff11; Hartmanis, Juris, Founding EditorAff12; Bertino, Elisa, Series EditorAff13; Gao, Wen, Series EditorAff14; Steffen, Bernhard, Series EditorAff15; Yung, Moti, Series EditorAff16; de Paiva, Valeria, editorAff17; Koepke, Peter, editorAff18 |
| Source: | Intelligent Computer Mathematics : 18th International Conference, CICM 2025, Brasilia, Brazil, October 6–10, 2025, Proceedings. 16136:208-221 |
| Database: | Springer Nature eBooks |