Počet záznamů: 1
Translating a Fragment of Natural Deduction System for Natural Language into Modern Type Theory
- 1.PEZLAR, Ivo. Translating a Fragment of Natural Deduction System for Natural Language into Modern Type Theory. In: OSSWALD, Rainer, RETORÉ, Christian, SUTTON, Peter, eds. IWCS 2019 Workshop on Computing Semantics with Types, Frames and Related Structures: Proceedings of the Workshop. Stroudsburg (PA): Association for Computational Linguistics, 2019, s. 10-18. ISBN 978-1-950737-25-3. Dostupné z: doi: 10.18653/v1/W19-1002.
Počet záznamů: 1