Yazılım Gönder
  1. Ev
  2. Windows
  3. Diğer
  4. Coq4Eclipse
  5. Download

Coq4Eclipse

Lisans: Ücret -siz ‎Dosya boyutu: N/A
‎Kullanıcı Derecelendirmesi: 3.0/5 - ‎1 ‎Oy

Hakkı -nda Coq4Eclipse

Coq4Eclipse Coq Proof Assistant bir arayüz sağlayan Eclipse Platformu için bir eklenti. Bu sözdizimi vurgulama, arama tesisleri, matematiksel semboller, oldukça baskı, vb ile kullanıcı yı destekleyecektir.

İlgili Programlar

  • Zinuc Ücret -siz

    Windows hesap makinesini bilgisayarınızdan garip bir yerden arama yapmaktan her zaman sıkıldınız mı? Zinuc bir web sadece, çok basit, ama güçlü hesap makinesi. Kullanmak için bir şey indirmek zorunda değilsiniz. Daha fazla bi

  • RouteCalc Ücret -siz

    Havacılık için Komut Hattı Rota hesaplayıcısı. Girişler: Cruise Speed, Fuel Burn, Rüzgar Yönü / Hız, Segment Mesafe. Çıkışlar: Uçuş Rulman, Yer Hızı, Segment Süresi, Yakıt Yanık. Değişken Cruise / Rüzgar ile Birden Fazla Segm

  • Auditory Modelling Toolbox Ücret -siz

    İşitsel Modelleme Araç Kutusu Matlab, Octave ve C işitsel modelleme yapmak için basit ve iyi test edilmiş bir araç kutusu oluşturmak için bir topluluk çabadır.

  • sigTOOL Ücret -siz

    sigTOOL, MATLAB içinde elektrofizyolojik verilerin işlenmesi için kullanıcı tarafından genişletilebilir bir sinyal analiz ortamı sağlar. Nöron başak treni, + spektral ve zaman alanı analizleri yerleşiktir. Bkz. http://dx.doi.

  • Periodic Table Droid Ücretsiz Deneme

    Android'iniz için mevcut olan en eksiksiz, özelleştirilebilir, Elementlerin Kimya Periyodik Tablosu.Ana özellikleri şunlardır:• 118 element• Anında arama!: Ad, sembol veya numaraya göre öğeleri bulun. Öğe a

  • A Hyperspectral Image Reader Ücret -siz

    Bu C++ kodu ENVI Hiperspektral Görüntüler okumaktır

  • Louisiana Criminal Law Ücret -siz

    Başlık 14 Louisiana Revize Tüzük, Ceza Hukuku, DroidLaw için!Başlık 14 Louisiana Revize Tüzük, Ceza Hukuku, DroidLaw için.BU DROIDLAW IÇIN BIR EKLENTI. YOU CAN' T BU UYGULAMAYı AÇIN. DROIDLAW'ı KURMUŞ OLMALıSıN

  • GMAT Maths Preview Ücret -siz

    GMAT veya GRE'de başarı şansınızı artırmak istiyor musunuz? O zaman bu sizin için mükemmel bir uygulamadır. Bu uygulama daha hızlı matematik hesaplamaları gerçekleştirmek için pratik ipuçları öğretir. 97 ve 93'ü birden fazla

  • Quran Indonesia mp3+trnslation Ücret -siz

    Endonezya dilinde Kur'an-ı Kerim'in tamamını dinleyin. Uygulamamız ses dosyalarını en sevdiğiniz reciter1'den birinde oynatabilir. Kur'an-ı Kerim'in tamamını indirmenizi veya tek bir dosyayı tek telefonunuzun menü düğmesini k

  • ProteinFinder database search method Ücret -siz

    ProteinFinder - tandem protein kütle spektrometresi veritabanı arama için bir C dili paralel bilgisayar motoru. ProteinFinder, deneysel verileri, tahmin edilen veritabanlarını ve arama sonuçlarını barındıran MySQL ilişkisel