Kirim Perangkat Lunak
  1. Rumah
  2. Windows
  3. Lain
  4. UNB Theorem Prover?

UNB Theorem Prover?

Lisensi: Gratis ‎Ukuran file: N/A
‎Peringkat Pengguna: 4.0/5 - ‎3 ‎Suara
Download

Theorem Prover otomatis diimplementasikan di Jawa dan menggunakan pohon klausa. Perangkat lunak ini akan dapat membaca temama matematika dari TPTP dan membuktikan atau membantahnya.

Riwayat versi

  • Versi N/A diposting di 2011-08-05
    Beberapa perbaikan dan pembaruan
  • Versi N/A diposting di 2011-08-05

Detil Program

Program Terkait

  • fastAOP Gratis

    FastAOP adalah kerangka kerja AOP (Aspect Oriented Programming) berkinerja sangat tinggi untuk java. Kerangka kerja awalnya dikembangkan untuk mendukung profil kinerja dan pemantauan untuk aplikasi J2EE besar dengan hampir

  • Butterfly Code Generator Gratis

    Kupu-kupu adalah Generator Kode sederhana menggunakan XMI sebagai input dan template XSLT untuk menghasilkan semua jenis kode. Beberapa templat disediakan termasuk EJB, JDO dan Struts. Pengguna dapat menggunakan template, me

  • Neural network designer Gratis

    Proyek ini terdiri dari aplikasi desainer berbasis windows dan library (yang dapat berjalan di beberapa platform, termasuk android) bersama dengan beberapa aplikasi demo (termasuk klien chatbot MVC3 dan aplikasi android).In

  • DL-Learner Gratis

    DL-Learner adalah alat untuk mempelajari konsep di Description Logics (DLs) dari contoh yang disediakan pengguna. Demikian pula, ini dapat digunakan untuk belajar kelas dalam ontologi OWL dari objek yang dipilih.

  • MakeEmbeddedRootfilesystem Gratis

    Makerootf memudahkan untuk membangun sistem file root untuk perangkat yang disematkan (misalnya berbasis ARM) dengan mengotomatiskan proses kompilasi silang melalui skrip shell, patch, dan konfigurasi default. Tidak seperti b

  • VCS Agents and Tools Gratis

    Tujuan dari proyek ini adalah untuk menyediakan plugin ("agents") untuk Veritas Cluster Server secara Open Source.

  • Etnia Workbench Gratis

    Ekstensi untuk cdt project wich mengkonfigurasi kompilator ekstra dan plugin lain untuk membuat integrasi berbagai plattform (sebenarnya Texas Instrument & PIC microprocessors)

  • Steini\'s Mini Compiler Gratis

    Steini\'s Mini Compiler adalah compiler DOS 16 bit yang cepat. Harap bantu untuk meningkatkan bahasa pemrograman menulis perintah baru. Compiler menggunakan sekumpulan berkas perakitan untuk proses kompilasi.

  • JCustomizer Gratis

    Target proyek JCustomizer adalah kustomisasi generik dan persisten dari setiap Java Swing / AWT GUI pada waktu proses: font, warna, teks, akselerator, ... Iringan yang bagus adalah akses WYSIWYG ke internasionalisasi tanpa up

  • net.sourceforge.ajstruts Gratis

    Kode sumber artikel (http://ajstruts.sf.net) yang diterbitkan pada 11/2003 dalam bahasa Jerman "Java Magazin" majalah, menunjukkan cara mengadaptasi libs pihak ketiga (misalnya struts) untuk memproyeksikan kebutuhan