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“...
閱讀更多