نتایج جستجو برای: figures or written texts

تعداد نتایج: 3634289  

Journal: :Research and Innovation in Language Learning 2019

2009
D. Kühlwein

The Naproche project (Natural language Proof Checking) was initiated by Bernhard Schröder and Peter Koepke at the University of Bonn to focus on an interdisciplinary study of the semi-formal language of mathematics. A central goal of Naproche is to develop a controlled natural language (CNL) for mathematical texts and adapted proof checking software which checks texts written in the CNL for syn...

2012
David Pinto Darnes Vilariño Ayala Yuridiana Alemán Helena Gómez-Adorno Nahun Loya Héctor Jiménez-Salazar

The growing use of information technologies such as mobile devices has had a major social and technological impact such as the growing use of Short Message Services (SMS), a communication system broadly used by cellular phone users. In 2011, it was estimated over 5.6 billion of mobile phones sending between 30 and 40 SMS at month. Hence the great importance of analyzing representation and norma...

Journal: :Medical History 1991
Michael Anderson

said to be "popular" (they wrote learned Latin texts) and both ofwhom lived in the fourteenth century. Seemingly more relevant figures from the previous century, some with French associations, like Arnald of Villanova, Bartholomaeus Anglicus, Gilbertus Anglicus, and Roger Bacon, are either given less space or omitted. Hunt footnotes books, dissertations, and articles by the hundred, but again h...

Journal: :Transactions of the Association for Computational Linguistics 2016

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید