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

Tautologica Logic Suite 0.3.1

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

Eğitici mantık araçları için bir program paketi. Şu anda süitteki tek çalışma programı Tautologica Model Editor.

sürüm geçmişi

  • Sürüm Tautologica%20v0.3.1 tarihinde gönderildi 2003-12-01
    Çeşitli düzeltmeler ve güncelleştirmeler
  • Sürüm Tautologica v0.3.1 tarihinde gönderildi 2003-12-01

Program Detayları

İlgili Programlar

  • TSA Ücret -siz

    C++ şablon programlama stilinde yazılmış doğrusal olmayan nicel zaman serileri analizi araç seti.

  • UMass Lowell Handyboard Loader Ücret -siz

    Kolay, güvenilir ve tam Handy Board / UMass Lowell 68HC11 önyükleme yükleyici

  • Php to Xmi converter Ücret -siz

    Php2Xmi PHP sınıfları tarar ve bulunan sınıfların UML temsil ile bir XMI dosyası oluşturur PHP yazılmış bir komut satırı aracıdır. XMI KDE'nin Umbrello modelleme aracı kullanılarak görüntülenebilir

  • How to braid hair Ücret -siz

    Bu uygulama ile nasıl çok güzel ve sıradışı örgü örgü öğreneceksiniz. Anahtar Kelimeler: saçlarını örgü, örgü, saç şekillendirme, sıradışı stil, güzel stil, güzel saç, kadın saç

  • Roblox Catalog Ücret -siz

    Tarayıcınızı başlatmak zorunda kalmadan roblox kataloğuna hızlı ve kolay bir şekilde göz atın! Bu uygulama ve yaratıcısı hiçbir şekilde Roblox Corporation ile bağlı değildir. Uygulama logosu ve bu uygulamada kullanılan tüm va

  • LabRAD Ücret -siz

    LabRAD, dağıtılmış cihaz kontrol ve veri toplama sistemlerinin hızlı ve kolay bir şekilde oluşturulması için bir platformdur. Tipik araştırma kurulumları, bir grup kişi tarafından yönetilen birkaç bilgisayara bağlı birçok ayg

  • Gpiv Ücret -siz

    Gpiv Parçacık Görüntü Velocimetry (PIV) için bir Grafik Kullanıcı Arabirimi programıdır. Görüntüleri sorgular, elde edilen verileri doğrular ve sonradan işler ve sonuçlarını görüntüler.

  • IMMpractical Ücret -siz

    IMMpractical, DNA dizilerinin analizi için çeşitli Markov zinciri modeli tabanlı yöntemler uygular. Lütfen alıntı: Sparks, M.E., Brendel, V. ve Dorman, K.S. (2007) Bitki DNA kodlama potansiyelinin değerlendirilmesi için Marko

  • Echoes of Eternity Ücret -siz

    Fizik, Psikoloji, Felsefe, Yunan Kahramanları ve çeşitli Alıntılar gibi konuları içeren yeni bir program şu anda geliştirme geçiyor. Yukarıdaki resimler ve biyografiler/daha az bilinen figürler ve teoriler eşlik edecektir.

  • rarFit Ücret -siz

    HEP için ROOT/RooFit tabanlı bir ML montaj paketi