Pocket KrHyper
?J2ME手机的定理证?库。它支持命?,第一顺序和描述逻辑中的推理,并且针对移动知识管理或语义网络应用。 ·第一个推理器的手机 ·使用少量资源 ·适合一?逻辑和描述逻辑的接口...
阅读更多这?一个“必须”为学生,专业人士和其他需要在日常生活中进行计算的工具。 这个图形科学计算器?于使用,并以容?读取的方式计算完整方程,就像在大多数今天的?级图形计算器中完成的。 可编辑的多行界面也?示了前面的方程和他们的答案。这在大多数计算任务中?很大的帮助。您也可以在下面的公式中使用最后计算答案(ANS),因为它?一个数字。该计算器提供基本的算术运算(+, - ,/,*,^,sqrt)和大多数使用的?级(ln,log,sin,cos,tan,arcsin,arccos,arctan)?可以在弧度和角度之间切换。 为了图形目的,该计算器?具有?量“X”。您可以轻松?制数学函数,缩放,移动和跟踪它们,以可视化复杂函数的行为和零点。...
阅读更多“由Balaji Tambe博士提出,这个时代音乐应用程序?一个真棒集合的马杜尔加歌曲,完美的背诵在家里或在Puja。现在得到它,你会得到一个集合:1. Prathana - Shri Durgashloka 2. Shri Bhagavatistotram 3. Shri Durgashtottarshtnaam Stotram 4. Tripursundari Stotram 5. Shri杜尔加Mantraa 6. Shri Durganavaranmantra 7. Mahishasuramardini Stotram Bhavanyastakam 8. Shri杜尔加Aarti“...
阅读更多