http://www.molto-project.eu/category/87/all 恩 gfsage：反馈选项与西班牙语和英语的翻译 http://www.molto-project.eu/biblio/audiovisual/gfsage-feedback-option-and-translation-between-spanish-and-english Saludes J公司gfsage：反馈选项和西班牙语和英语之间的翻译。2013年。网址：<a href=“http://www.screer.com/GD3“>http://www.screer.com/GD3</a><span class=“Z3988”title=“ctx_ver=Z39.88-2004&amp；rft_val_fmt=info%3Offi%2Fmt%3Akev%3Amtx%3Adc&amp！rft.title=gfsage%3A+反馈+选项+和+翻译+西班牙语+和英语+rft.date=2013&amp：rft.aulast=&amp？rft.aufirst=&amps；rft.pub=+MOLTO+Consortium&amp，rft.place=Barcelona%2C+西班牙”> http://www.molto-project.eu/biblio/audiovisual/gfsage-feedback-option-and-translation-between-spanish-and-english#评论 MGL公司数学工作包6 2013年6月5日星期三14:38:35+0000 乔迪·萨卢德 2113温度http://www.molto-project.eu 单词问题辅导 http://www.molto-project.eu/biblio/audiovisual/tutor-assistance-word-problems Saludes J公司<a href=“/biblio/audiovisual/tutor-assistance-word-problems”target=“_blank”>单词问题辅导。2013年。网址：<a href=“http://screer.com/LsP7“>http://screer.com/LsP7</a> http://www.molto-project.eu/biblio/audiovisual/tutor-assistance-word-problems#评论 MGL公司数学工作包6 2013年6月5日星期三14:47:09+0000 乔迪·萨卢德 2114时http://www.molto-project.eu gfsage：基本用法和浊音输出 http://www.molto-project.eu/biblio/audiovisual/gfsage-basic-usage-and-voiced-output Saludes J公司gfsage：基本用法和浊音输出。2013年。网址：<a href=“网址：http://screenr.com/0D3s“>http://screer.com/0D3s</a> http://www.molto-project.eu/biblio/视听/gfsage基本用法和语音输出#comments MGL公司数学工作包6 2013年6月5日星期三14:31:33+0000 乔迪·萨卢德 2112在http://www.molto-project.eu 数学棒.pgf http://www.molto-project.eu/biblio/software/mathbarpgf Saludes J公司MathBar.pgf。2013年。 http://www.molto-project.eu/biblio/software/mathbarpgf评论 MGL公司多语言语法数学工作包6 多语现象绿色足迹语法框架 2013年5月29日星期三08:25:08+0000 乔迪·萨卢德 2073处http://www.molto-project.eu 对话框.pgf http://www.molto-project.eu/biblio/software/dialogpgf Saludes J公司Dialog.pgf对话框。2013年。网址：<a href=“http://www.molto-project.eu/sites/default/files/web-service/grammars/Dialog.pgf“>http://www.molto-project.eu/sites/default/files/web-service/grammars/Dialog.pgf</a> http://www.molto-project.eu/biblio/software/dialogpgf评论数学工作包6 多语种的 2013年5月22日星期三14:06:01+0000 奥尔加·卡波蒂 2033时http://www.molto-project.eu 语言和逻辑之间的翻译：什么容易，什么难？ http://www.molto-project.eu/biblio/conference-paper/translating-between-language-and-logic-wha-easy-and-what-haild 兰塔a</a><a href=“/biblio/conference-paper/translating-between-language-and-logic-what-easy-and-what-haild”target=“_blank”>语言与逻辑之间的翻译：什么容易，什么难</a> 。在：Björner N，Sofrone-Stokkermans V，eds。自动扣减。LNCS/LNAI 6803卷。CADE-23。自动扣除。http://link.springer.com/chapter/10.1007%2F978-3-642-22438-6_3；2011:5-25. 网址：<a href=“http://www.cse.chalmers.se/~aarne/aarticles/cade2011.pdf“>http://www.cse.chalmers.se/~aarne/aarticles/cade2011.pdf</a><span class=“Z3988”title=“ctx_ver=Z39.88-2004&amp；rft_val_fmt=info%3Offi%2Fmt%3Akev%3Amtx%3Adc&amp！rft.title=在+语言+和+逻辑%3A+What+是+容易+和+是+困难%3F&amp？rft.date=2011&amp aufirst=&rft.pub=Springer+Verlag&amp；rft.place=++http%3A%2F%2Flink.springer.com%2Fchapter%2F10.1007%252F978-3-642-22438-6_3“> http://www.molto-project.eu/biblio/conference-paper/translating-between-language-and-logic-what-easy-and-what-haild#评论工作包6 2013年5月20日，星期一08:16:32+000 阿恩·兰塔 2023年http://www.molto-project.eu 基于语法的多语言数学方法 http://www.molto-project.eu/biblio/slide-presentation/grammar-based-approach-multilingual-methematics <a href=“/bbiblio/author/1217”target=“_blank”>Saludes J</a>，<a href=“/bbiblio/author/1127”target=“_blank”>Caprotti O</a>，<a href=“/bbiblio/author/1209”target=“_blank”>XambóS</a><a href=“/biblio/slide-presentation/grammar-based-approach-multilingual-methematics”target=“_blank”>基于语法的多语言数学方法。2013;第五届数学电子学习国际研讨会。网址：<a href=“https://sites.google.com/site/5emath2013马德里/“>https://sites.google.com/site/5emath2013马德里/</a><span class=“Z3988”title=“ctx_ver=Z39.88-2004&amp；rft_val_fmt=info%3Offi%2Fmt%3Akev%3Amtx%3Adc&amp！rft.title=A+基于语法的+方法+到+多语言+数学和rft.date=2013&amphttp://www.slideshare.net/slideshow/embed_code/22536974“width=”427“height=”356“frameborder=”0“marginwidth=0”marginheight=“0”scrolling=“no”style=“border:1px solid#CCC；边框宽度：1px 1px 0；margin-bottom:5px“allowfullscreen网络工具包allowfull屏幕mozallowfullscrean></iframe> <div style=“margin-bottom:5px”><a href=“http://www.slideshare.net/olga.caprotti/e-math5madrid“title=”基于语法的多语言数学方法“target=”_blank“>基于语法的多语数学方法</A>来自<A href=”http://www.slideshare.net/olga。</a></div><a href=“http://www.molto-project.eu/biblio/slide-presentation/grammar-based-approach-multilingual-methematics“target=”_blank“>阅读更多</a> http://www.molto-project.eu/biblio/slide-presentation/grammar-based-approach-multilingual-methematics评论 MGL公司数学工作包6 2013年4月8日星期一10:11:26+0000 奥尔加·卡波蒂 1942年http://www.molto-project.eu 多语圣人 http://www.molto-project.eu/biblio/journal-article/multilingual-sage Saludes J，XambóS<a href=“/biblio/journal-article/multiling-sage”target=“_blank”>多语圣人</a><《第比利斯数学杂志》。出版中；5(2).<span class=“Z3988”title=“ctx_ver=Z39.88-2004&amp；rft_val_fmt=info%3Offi%2Fmt%3Akev%3Amtx%3Journal&amp！rft.atitle=多语言+Sage&amp？rft.title=Tbilisi+Mathematic+Journal&rft.issn=1512-0139&amp；rft.pub=第比利斯+中心+数学+科学+%26amp%3B+学院+出版物。“>” http://www.molto-project.eu/biblio/journal-article/multiling-sage#评论工作包6 多语现象 GF公司 2013年1月29日星期二11:19:26+0000 乔迪·萨卢德 1898年http://www.molto-project.eu 面向多语言机械化数学助理 http://www.molto-project.eu/biblio/conference-procesedings/toward-multilingual-mechanized-mathematics-assists Saludes J，XambóS<a href=“/biblio/conference-procedures/toward-multilingual-mechanized-methematics-assistants”target=“_blank”>面向多语言机械化数学助理>Villarino C编辑，EACA 2012（会议记录）。2012:163–166.<span class=“Z3988”title=“ctx_ver=Z39.88-2004&amp；rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Adc&amp；rft.title=朝着+多语言+机械化+数学+助理&amp；rft.isbn=848138770-3&amp；rft.date=2012&amp；rft.spage=163%E2%80%93166&amp；rft.aulast=&amp；rft.pub=Universidad+de+Alcal%C3%A1+de的方向发展+赫纳雷斯“> http://www.molto-project.eu/biblio/conference-procedures/toward-multilingual-mechanized-mathematics-assistants评论 MOLTO传播工作包6 2012年7月3日星期二16:57:59+0000 乔迪·萨卢德 1710在http://www.molto-project.eu 数学吧 http://www.molto-project.eu/biblio/web-project-page/mathbar <a href=“/bbiblio/author/1217”target=“_blank”>Saludes J</a>，<a href=“/bbiblio/author/1201”target=“_blank”>Ranta a</a>，<a href=“/bbiblio/author/1137”target=“_blank”>Hallgren T</a><a href=“/biblio/web-project-page/mathbar”target=“_blank”>mathbar</a>。2011.网址：<a href=“http://www.grammatical framework.org/demos/minibar/mathbar.html“>http://www.grammatical framework.org/demos/minibar/mathbar.html</a> http://www.molto-project.eu/biblio/web-project-page/mathbar#评论 MGL公司数学工作包6 2012年6月9日星期六08:21:43+0000 奥尔加·卡波蒂 1660时http://www.molto-project.eu WP6案例研究：数学-第二年回顾 http://www.molto-project.eu/biblio/slide-presentation/wp6-case-study-mathematics-2nd-year-review Saludes J公司wp6案例研究：数学-第二年回顾。2012年。 http://www.molto-project.eu/biblio/slide-presentation/wp6-case-study-mathematics-2nd-year-review#评论回顾2012年3月工作包6 2012年3月20日星期二14:51:33+0000 乔迪·萨卢德 1580温度http://www.molto-project.eu GF数学图书馆 http://www.molto-project.eu/biblio/conference-paper/gf-mathematics-library Saludes J，XambóSgf数学图书馆。Quaresma P</a>，《Back R-J》编辑<a href=“/biblio/authors/1235”target=“_blank”>Back R-J</a>教育软件CTP组件第一次研讨会论文集（THedu'11）。理论计算机科学电子论文集。教育软件CTP组件第一次研讨会论文集（THedu'11）。波兰Wrocław；2011:102–110. 网址：<a href=“http://cgi.cse.unsw.edu.au/~rvg/eptcs/Published/THedu11/Papers/22/arXiv.pdf“>http://cgi.cse.unsw.edu.au/~rvg/eptcs/Published/THedu11/Papers/22/arXiv.pdf</a><span class=“Z3988”title=“ctx_ver=Z39.88-2004&amp；rft_val_fmt=info%3Offi%2Fmt%3Akev%3Amtx%3Adc&amp！rft.title=The+GF+Mathematics+Library&amp；rt.date=2011&amp；rft.pub=电子+论文+in+理论+计算机+科学；rft.place=Wroc%C5%82aw%2C+波兰&amp；rft_id=info%3Adoi%2Fhttp%3A%2F%2Fdx.doi.org%2F10.4204%2FEPTCS.79.6“> http://www.molto-project.eu/biblio/conference-paper/gf-mathematics-library#评论 MOLTO传播工作包6 2012年3月16日星期五18:37:44+0000 奥尔加·卡波蒂 1564年http://www.molto-project.eu 合并CAS的原型 http://www.molto-project.eu/biblio/prototype-comanding-cas（中文） Saludes J，利博acas合并原型。2012年。<span class=“Z33988”title=“ctx_ver=Z39.88-2004&amp；rft_val_fmt=info%3Ofi%2Ffmt%3Akev%3Amatx%3Adc&amp；rft.title=原型+共有+共有+CAS&amp；rft.date=2012&amp；rft.aulast=&amp；rft.aufirst=&amp；rft.pub=MOLTO+联合体&amp；rft.place=G%C3%B6teborg”> http://www.molto-project.eu/biblio/prototype-commanding-cas#评论工作包6 2012年3月12日星期一15:38:54+0000 乔迪·萨卢德 1549在http://www.molto-project.eu 用自然语言指挥圣人 http://www.molto-project.eu/biblio/commanding-sage-using-natural-language Saludes J公司<a href=“/biblio/commanding-sage-using-natural-language”target=“_blank”>使用自然语言指挥圣人。2012年。网址：<a href=“http://prezi.com/zchqjschryd4/gfsage-commanding-a-cas-using-natural-language/“>http://prezi.com/zchqjschryd4/gfsage-commanding-a-cas-using-natural-language/</a> http://www.molto-project.eu/biblio/commanding-sage-using-natural-language评论工作包6 MOLTO-EEU开球 2012年3月8日星期四13:03:31+0000 乔迪·萨卢德 1539时http://www.molto-project.eu GF在数学多模助手中的应用 http://www.molto-project.eu/biblio/using-gf-multimal-assistants-mathematics-0 Archambault D、Caprotti O、Ranta a、Saludes J<a href=“/biblio/using-gf-multimal-assistants-mathematics-0”target=“_blank”>在数学多模助手中使用gf。2012年。 http://www.molto-project.eu/biblio/using-gf-multimal-assistants-mathematics-0#评论工作包6 工作包10 2012年2月10日星期五00:52:31+0000 奥尔加·卡波蒂 1482温度http://www.molto-project.eu