Peng, C. (2026). DEKL 2.0: Trace-Indexed Knowledge Evolution in Dependent Type Theory.
Chicago-Zitierstil (17. Ausg.)Peng, Chen. DEKL 2.0: Trace-Indexed Knowledge Evolution in Dependent Type Theory. 2026.
MLA-Zitierstil (9. Ausg.)Peng, Chen. DEKL 2.0: Trace-Indexed Knowledge Evolution in Dependent Type Theory. 2026.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.