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

Lurch 0.4

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

Matematiksel kanıtları öğretmek ve öğrenmek için yazılım Çoğu matematiksel kanıt yazılımı resmi mantık (veya matematiğin diğer bazı özel alan) üzerinde yoğunlaşan nerede, Lurch gerçekten genel amaçlı olmayı amaçlamaktadır, bir attracitve kullanıcı arayüzü ile.

sürüm geçmişi

  • Sürüm 0.4 tarihinde gönderildi 2010-09-22
    Çeşitli düzeltmeler ve güncelleştirmeler
  • Sürüm 0.4 tarihinde gönderildi 2010-09-22

Program Detayları

İlgili Programlar

  • TOTAL .NET Protector Ücretsiz Deneme

    .NET yönetilen bir ortam olduğundan, kodunuzu Reflektör veya Refractor kullanan herkese açık olmasının her zaman dezavantajı vardır.Skater TOTAL, derlemelerinizin derlenebilir Microsoft Intermediate Language kodunu (MSIL ve

  • Ziga Ücret -siz

    Java'da yazılmış bir dosya paylaşım uygulaması. Farklı protokolleri desteklemek için modüller kullanır. Şu anda Napster ve Gnutella protokolü için bir modül mevcuttur.

  • Scriptol Xul Dev Ücret -siz

    Xul Dev, Xul geliştirme ortamı anlamına gelir. IDE, Xul arabirimlerini tasarlamak ve herhangi bir programlama dilinde programlar yapmak için tasarlanmıştır. IDE Scriptol C++ ile yazılır ve kaynak biçiminde ve ikili yürütülebi

  • cmpio library Ücret -siz

    Libcmpio değişken kayıt uzunluğu, kayıt sıkıştırma, saydam hacim oluşturma ve farklı platformlar arasında kontrol ve taşınabilirlik ile veri dosyalarını işlemek için kolay bir yol sağlayan genel bir amaç kütüphane vardır.

  • Nuke My Tablet Ücretsiz Deneme

    Tabletimle Nükleer Olarak Kişisel verilerinizi( bu tür fotoğraflar ve videolar) güvenli bir şekilde silerek ve telefonunuzu fabrika ayarlarına geri döndürerek gizliliğinizi korur. Artık yetkisiz veri kurtarma endişesi olmadan

  • the prefuse visualization toolkit Ücret -siz

    Etkileşimli bilgi görselleştirme uygulamaları oluşturmak için yazılım araçları. Prefuse, hem Java (prefuse) hem de Flash (prefuse parlaması) için veri modelleme, görselleştirme, animasyon ve etkileşim için zengin bir özellik

  • AJIO Ücret -siz

    AJIO bir veya daha fazla sınıftan kavanoz bina sağlar. Oluşturulan kavanoz dosyası, başvurulan tüm kavanoz dosyalarının tüm bağımlı sınıflarını içerir.AJIO permet de crer UN kavanoz partir d'une ou plusieurs sınıflar et d

  • AdaDLX Ücret -siz

    Bu Donald E. Knuth kağıt gibi Dancing Links X Algoritmabir Ada uygulamasıdır. AdaDLX Sekiz-Queens bulmaca çözmek için kullanılır, Sudoku ızgaraları ve Bloklar Box bulmaca.

  • Php5 Meta-Model Ücret -siz

    Php 5 modeli. Bu proje ecore Php 5 Model ve jeneratör ev sahipliği yapmaktadır.

  • Spyc Ücret -siz

    Spyc PHP için basit bir YAML yükleyici / damper sınıfıdır. YAML dosyalarını PHP veri yapılarına yüklemek veya PHP dizilerini basit YAML'ye dökmek için kullanılabilir. YAML hakkında daha fazla şey için www.yaml.org.