HLM Proof Assistant
Anda boleh memuat turun dalam masa 5 saat.
Anda juga boleh klik pada Pautan Muat Turun Luaran berikut untuk memulakan muat turun:
http://sourceforge.net/projects/hlm/files/Prototype/hlm.zip/download
Tentang HLM Proof Assistant
HLM adalah pembantu bukti untuk matematik setiap hari, yang sedang dibangunkan. Ia bertujuan untuk pengalaman pengguna sekuat mungkin untuk amalan matematik biasa, dan bukti yang difahami oleh manusia dengan sedikit usaha tambahan.
Atur Cara Berkaitan
-
MLA Auto-Generator Percuma
Menjana penyertaan yang diformatkan dengan betul (MLA, APA, Chicago, CPE, Turabian) untuk kerja-kerja yang dipetik atau halaman bibliografi.
-
Animal Imaging Percuma
& sebut harga;pengimejan haiwan; adalah projek untuk mengumpul dan menyebarkan maklumat mengenai teknologi pengimejan (contohnya CT, MRI, PET, ultrabunyi) berkaitan dengan pengimejan haiwan.
-
Wordcorr Percuma
Wordcorr mengautomasikan proses berhati-hati dan berisiko untuk memikat dan menguruskan surat-menyurat bunyi yang digunakan dalam menjalankan perkembangan sejarah bahasa semula jadi. Ia memberikan akses kepada semua data, sep
-
aMS - advanced Modeling System Percuma
Sistem pemprofilan/pemodelan pengguna yang mempunyai keupayaan untuk digunakan dengan setiap jenis sistem pembodohan. Penyesuaian adalah bahawa sistem ini tidak termasuk dalam aplikasi dan boleh digunakan untuk banyak tujuan
-
X-Specs Percuma
Perpustakaan dan alat untuk menyokong reka bentuk perisian menggunakan kod boleh laku sebagai spesifikasi, untuk menyokong Pembangunan Didorong Ujian dan kaedah Agile lain.
-
Action Movies Percuma
Adakah anda suka kuiz? Adakah anda suka Budaya Pop 00-an? Adakah anda suka barangan percuma?! Kemudian ini adalah aplikasi untuk anda ... menyeronokkan, percuma pelbagai pilihan trivia kuiz di dalam poket anda! Fikirkan anda
-
New Super Mario Bros Guide Percuma
BARU SUPER MARIO BROS WII PANDUAN & sebut HARGA;WALKTHROUGH GUIDEà ¢Â € ÂINCLUDES YANG BERIKUT:WALKTHROUGH- World 1- World 2- World 3etcâ € ¦WARP CANNONSetc.. RAHSIA- Matlamat Rahsia.. CENDAWAN HOUSESetc.. Tags:&qu
-
Baby's number school(flower) Percubaan Percuma
Permohonan terbaik untuk bayi.Bayi boleh belajar nombor dengan bunga yang indah.Kami menyokong 10 foto bunga dan 1~10 nombor.Ia membantu bayi anda untuk membangunkan otak.Mempunyai masa yang lucu dengan aplikasi i
-
RAPID Percuma
RAPID (REBOL API DocuMentor) menyediakan cara untuk mengambil dokumentasi daripada kod sumber REBOL dan menerbitkan ke dalam pelbagai format output, seperti HTML, PDF, make-doc-pro, dan lain-lain.
-
Logic Solver (truth tables) Percubaan Percuma
Atur cara ini menunjukkan jadual kebenaran, anda memasukkan cadangan dengan huruf yang anda suka, contohnya: PvQ^R atau Av~B, dan program ini menunjukkan kepada anda jadual kebenaran.Atur cara ini juga membantu anda untuk