Yazılım Gönder
  1. Ev
  2. Linux
  3. Diğer
  4. spassgui

spassgui 0.5

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

Spassgui bir Perl / Tk tabanlı Gui SPASS için (Bir Otomatik Teorem Prover Eşitlik ile First-Order Mantık için) http://spass.mpi-sb.mpg.de tarafından .

sürüm geçmişi

  • Sürüm 0.5 tarihinde gönderildi 2004-12-07
    Çeşitli düzeltmeler ve güncelleştirmeler
  • Sürüm 0.5 tarihinde gönderildi 2004-12-07

Program Detayları

İlgili Programlar

  • Dynamis Ücret -siz

    Dinamis, diğer sistemler (R, GNU oktav) ve bağımsız programlar için kod parçaları da dahil olmak üzere dinamik sistemleri incelemek için yazılım araçları topluluğudur.

  • WordTalk JA japan Ücret -siz

    * WordTalk özellikleri- Kelimeleri ezberlemeye yardımcı olun- İnteraktif ezberleme- Downaload wordbook internet üzerinden (wordbook.daum.net)

  • Poll Anywhere Ücretsiz Deneme

    Android telefonunuzu bir yoklama yanıt sistemine dönüştürün. Bu, soru sormak veya öğrencilerini/hedef kitlesini yoklamak ve verileri toplamak isteyen öğretmenler veya sunucular için mükemmel bir uygulamadır. Poll Anywhere,

  • EBook Reader & EPUB Reader Ücretsiz Deneme

    EBook Reader Android için hızlı ve son derece özelleştirilebilir belge görüntüleyici. Tüm e-kitaplara kolayca erişmenize, tüm kitaplara kolayca erişmenize yardımcı olur.Biçimleri destekler:epub, rtf, fb2(.zip), mobi ve

  • HoneyBSD Ücret -siz

    Yüksek performanslı bilgi işlem için tam bir POSIX uyumlu BSD ortamı oluşturmayı amaçlayan bir proje.

  • The Free Dictionary English Ücret -siz

    Gayri Resmi Uygulama Ücretsiz Sözlük İngilizce (thefreedictionary.com, en.thefreedictionary.com, thefreedictionary)Free Online Sözlük - Birden fazla sözlük, dahil:- Diller: İngilizce, İspanyolca, Almanca, Fransızca, İtalyanca

  • Dinucleotide signatures Ücret -siz

    Bu proje, metagenom ve genomlarda oligonükleotid imzalarının analizini yapmak için kullanılan bir dizi dosyayı (Perl, Java ve R paketi) içerir.

  • METS Editor (SobekCM) Ücret -siz

    Windows form uygulaması, dijital kitaplık kaynakları için METS uyumlu meta veri dosyaları oluşturur. Kullanıcının bibliyografik bilgilerin tümlerini girmesini ve sayfa adlarını ve bölümlerini yapı haritasına atamasını sağlar.

  • IELTS PREP Ücretsiz Deneme

    Şimdi indirin ve uygulama özelliklerinden yararlanın – • Sadece IELTS Uygulaması 4 bölüm &ndash için hazırlık materyali ve testleri kapsayacak şekilde; Dinleme, Okuma, Yazma ve Konuşma• Her beceri örnekl

  • BANNER Named Entity Recognition System Ücret -siz

    BANNER öncelikle biyomedikal metin için tasarlanmış bir adlandırılmış varlık tanıma sistemidir. Birincil tanıma motoru olarak koşullu rasgele alanları kullanır ve son literatürde açıklanan en iyi teknikleri geniş bir anket iç