Altonensien-Almanach : ein Bücher-Verzeichnis

von Luedtke, Heinrich
Veröffentlicht 1928

Altonensien-Almanach : Ein Bücher-Verzeichnis

von Lüdtke, Heinrich
Veröffentlicht 1928

Altonensien-Almanach : Ein Bücher-Verzeichnis

von Lüdtke, Heinrich
Veröffentlicht 1928

Interpreting Mathematical Texts in Naproche-SAD

von Lon, Adrian De
Veröffentlicht in CICM (13. : 2020 : Online) Intelligent computer mathematics (2020)

The Isabelle/Naproche Natural Language Proof Assistant

von Lon, Adrian De
Veröffentlicht in CADE (28. : 2021 : Online) Automated Deduction - CADE 28 (2021)

Beautiful Formalizations in Isabelle/Naproche

von Lon, Adrian De
Veröffentlicht in CICM (14. : 2021 : Online) Intelligent Computer Mathematics (2021)