सॉफ्टवेयर सबमिट करें
  1. को
  2. Linux
  3. अन्य
  4. Hilbert II - QEDEQ
  5. Download

Hilbert II - QEDEQ 0.04.02

लाइसेंस: मुफ्त ‎फ़ाइल आकार: N/A
‎उपयोगकर्ताओं की रेटिंग: 4.0/5 - ‎1 ‎वोट

करीबन Hilbert II - QEDEQ

हिलबर्ट के कार्यक्रम की परंपरा में हम एक औपचारिक सही (एक सबूत सत्यापनकर्ता द्वारा जांच योग्य) लेकिन पठनीय (एक साधारण LaTeX पाठ्यपुस्तक की तरह) गणितीय ज्ञान आधार है जो इंटरनेट के भीतर स्वतंत्र रूप से सुलभ है बनाते हैं। तर्क और सेट थ्योरी शुरू कर दिया।

संबंधित कार्यक्रम

  • GET_IT - Game Engine Tutorial in TCL मुफ्त

    कुछ समय पहले इस प्रोजेक्ट को बंद कर दिया गया था। यदि आप परियोजना का नाम लेना चाहते हैं, तो बस मुझे ई-मेल करें।

  • SPINA मुफ्त

    SPINA वीवो में प्राप्त हार्मोन के स्तर से एंडोक्राइन फीडबैक नियंत्रण प्रणालियों की निरंतर संरचना-मापदंडों का निर्धारण करने के लिए सॉफ्टवेयर है। इस साइबरनेटिक दृष्टिकोण का पहला संस्करण थायराइड ग्लैन की कार्यात्मक स्थिति को बढ़

  • Meshgen मुफ्त

    मेशजेन को त्रिकोणीय और चतुर्भुज तत्वों से बना 2डी एफईएम मेश को इंटरैक्टिव रूप से उत्पन्न करने के लिए डिज़ाइन किया गया है।

  • Vocabulary Builder for GRE SAT नि: शुल्क परीक्षण

    मैनहट्टन रिव्यू ने भारत में पहला मोबाइल एप्लीकेशन पेश किया । आप नए शब्द सीख सकते हैं जो आपको जीआरई, सैट, टोफेल और आईईएलटीएस की तैयारी में मदद करेंगे। आप शब्दों पर अपने ज्ञान का मूल्यांकन भी कर सकते हैं और अपनी शब्दावली कौशल

  • Carrying the Word नि: शुल्क परीक्षण

    शब्द ले जाने, कोलोराडो के विश्वविद्यालय प्रेस द्वारा प्रकाशितआज इस DRM मुक्त ebook खरीदें! Aldiko द्वारा संचालित।Concheros नर्तकों का पहला पूर्ण लंबाई अध्ययन, जिसका नृत्य का उपयोग मैक्सिकन संस्कृति के भीतर विशिष्ट तरीक

  • Moritz मुफ्त

    मोरिट्ज एक और उद्धृत;ऐडन और उद्धृत; प्रसिद्ध उपकरण डॉक्सीजन के लिए है। यह एचटीएमएल-फाइल्स के रूप में सी/सी + + स्रोत में कार्यों और विधियों के नासी शेनीडरमैन आरेख उत्पन्न करता है, जिसे एचटीएमएल-ब्राउज़र का उपयोग करके सॉफ्टवेय

  • Birdlogger मुफ्त

    पक्षी विज्ञानियों और पक्षी पर नजर रखने वालों को लॉगिंग करने वाले पक्षियों की सहायता के लिए एक पक्षी लॉगिंग कार्यक्रम। विजुअल बेसिक में, विंडोज और लिनक्स के लिए। अंग्रेजी और फ्रेंच।

  • Bowtie मुफ्त

    बोटाई, अगले-जेन सीक्वेंसर्स से छोटे डीएनए दृश्यों (पढ़ता है) के लिए एक अल्ट्राफास्ट, मेमोरी-कुशल शॉर्ट रीड एलाइनर। कृपया तलब करें: लैंगमीड बी, एट अल। मानव जीनोम के लिए छोटे डीएनए दृश्यों के अल्ट्राफास्ट और स्मृति कुशल संरेखण।

  • LaserFoam मुफ्त

    लेजरफोम सामान्यीकृत नॉनलाइनर श्रडिंगर समीकरण को हल करने के लिए एक अनुकूली स्प्लिट स्टेप फोरियर विधि का उपयोग करके लेजर दालों के सिमुलेशन करता है। यह परिणामों को चलाने और कल्पना करने के लिए एक चित्रमय वातावरण प्रदान करता है।

  • Daylight Chart मुफ्त

    डेलाइट चार्ट दुनिया में किसी भी स्थान के लिए, एक आकर्षक चार्ट में सूर्योदय और सूर्यास्त के समय को दिखाता है। डेलाइट सेविंग टाइम का असर भी प्रदर्शित होता है। चार्ट इमेज फाइलों को निर्यात किया जा सकता है।