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.
IWCS 2019 Workshop on Computing Semantics with Types, Frames and Related Structures: Proceedings of the Workshop. Stroudsburg (PA): Association for Computational Linguistics, 2019 - (Osswald, R.; Retoré, C.; Sutton, P.), s. 10-18. ISBN 978-1-950737-25-3.
[Workshop on Computing Semantics with Types, Frames and Related Structures. Gothenburg (SE), 23.05.2019-27.05.2019]
Obor OECD: Linguistics
https://www.aclweb.org/anthology/W19-1002/
http://hdl.handle.net/11104/0299547
Počet záznamů: 1