HLM Proof Assistant
5 saniye içinde indirebilirsiniz.
İndirmeye başlamak için aşağıdaki Harici İndirme Linkine de tıklayabilirsiniz:
http://sourceforge.net/projects/hlm/files/Prototype/hlm.zip/download
Hakkı -nda HLM Proof Assistant
HLM şu anda geliştirilmekte olan günlük matematik için bir kanıt asistanıdır. Bu düzenli matematiksel uygulama mümkün olduğunca yakın bir kullanıcı deneyimi ve çok az ekstra çaba ile insanlar tarafından anlaşılabilir kanıtları amaçlamaktadır.
İlgili Programlar
-
MLA Auto-Generator Ücret -siz
Atıf yapılan işler veya bibliyografya sayfaları için doğru biçimlendirilmiş (MLA, APA, Chicago, CPE, Turabian) girişleri oluşturur.
-
Animal Imaging Ücret -siz
"animal-imaging" hayvanların canlı görüntülemesi ile ilgili görüntüleme teknolojileri (örneğin BT, MR, PET, ultrason) hakkında bilgi toplamak ve yaymak için bir projedir.
-
Wordcorr Ücret -siz
Wordcorr, doğal dillerin tarihsel gelişiminin işlenmesinde kullanılan ses yazışmalarını hesaplama ve yönetme sıkıcı ve riskli sürecini otomatikleştirir. Tüm verilere erişim sağlar, her zaman. İlk destek NSF'den alındı.
-
aMS - advanced Modeling System Ücret -siz
Her türlü kişileştirme sistemi ile kullanılabilen bir kullanıcı profiloluşturma/modelleme sistemi. Adavantage bu sistem bir uygulama dahil değildir ve bu nedenle birçok amaç ve farklı bağlamlarda kullanılabilir olmasıdır.
-
X-Specs Ücret -siz
Kitaplıklar ve araçlar, test odaklı geliştirme ve diğer Çevik yöntemleri desteklemek için, belirtimolarak çalıştırılabilir kodu kullanarak yazılım tasarımını desteklemek için.
-
Action Movies Ücret -siz
Sınavları sever misin? 00'ların Pop Kültürü'ni sever misin? Ücretsiz şeyler sever misiniz?! O zaman bu sizin için bir uygulama... cebinizde eğlenceli, ücretsiz çoktan seçmeli ıvır zıvır sınavları! Goodfella ile Baba arasındak
-
New Super Mario Bros Guide Ücret -siz
Yenİ SUPER MARIO BROS WII GUIDE "AN GAYRI RESMI WALKTHROUGH GUIDEÜ¢  €  AŞAĞıDAKI IÇERIR:WALKTHROUGH- Dünya 1- Dünya 2- Dünya 3etcÜ¢  €  € WARP CANNONSetc. Sırlar- Gizli Goller vb... MANTAR EVİ VB... Etiketler:"
-
Baby's number school(flower) Ücretsiz Deneme
Bebekler için en iyi uygulama.Bebek güzel çiçeklerile sayı çalışabilirsiniz.Biz 10 çiçek fotoğrafları ve 1 ~ 10 numaraları destekler.Bebeğinizin beyni geliştirmesine yardımcı olur.Bu uygulama ile komik bir zaman v
-
RAPID Ücret -siz
RAPID (REBOL API DocuMentor), REBOL kaynak kodundan belgeleri almanın ve HTML, PDF, make-doc-pro gibi çeşitli çıktı biçimlerinde yayımlamanın bir yolunu sağlar.
-
Logic Solver (truth tables) Ücretsiz Deneme
Bu program hakikat tabloları göstermek, örneğin, tercih ettiğiniz harflerle bir teklif girin: PvQ ^R veya Av ~ B, ve program size gerçeği tablo gösterir.Bu program aynı zamanda size posibles mantıksal eşdeğerliklerin bir