লোডিং...
Prototyping Controlled Mathematical Languages in Jupyter Notebooks
The Grammatical Logical Framework (GLF) is a framework for prototyping the translation of natural language sentences into logic. The motivation behind GLF was to apply it to mathematical language, as the classical compositional approach to semantics construction seemed most suitable for a domain whe...
সংরক্ষণ করুন:
| প্রকাশিত: | Mathematical Software – ICMS 2020 |
|---|---|
| প্রধান লেখক: | , , |
| বিন্যাস: | Artigo |
| ভাষা: | Inglês |
| প্রকাশিত: |
2020
|
| বিষয়গুলি: | |
| অনলাইন ব্যবহার করুন: | https://ncbi.nlm.nih.gov/pmc/articles/PMC7340964/ https://ncbi.nlm.nih.govhttp://dx.doi.org/10.1007/978-3-030-52200-1_40 |
| ট্যাগগুলো: |
ট্যাগ যুক্ত করুন
কোনো ট্যাগ নেই, প্রথমজন হিসাবে ট্যাগ করুন!
|