Hantar Perisian
  1. Rumah
  2. Windows
  3. Lain
  4. UNB Theorem Prover?

UNB Theorem Prover?

Lesen: Percuma ‎Saiz fail: N/A
‎Penarafan Pengguna: 4.0/5 - ‎3 ‎Undi
Muat turun

Peribahasa Teorem Automatik dilaksanakan di Jawa dan menggunakan pokok-pokok fasal. Perisian ini akan dapat membaca teorem matematik dari TPTP dan membuktikan atau menyangkalnya.

sejarah versi

  • Versi N/A diposkan pada 2011-08-05
    Beberapa pembaikan dan pengemaskinian
  • Versi N/A diposkan pada 2011-08-05

Butiran Atur Cara

Atur Cara Berkaitan

  • fastAOP Percuma

    FastAOP adalah rangka kerja AOP yang sangat tinggi (Pengaturcaraan Berorientasikan Aspek) untuk jawa. Rangka kerja ini pada mulanya dibangunkan untuk menyokong profil prestasi dan pemantauan untuk aplikasi J2EE yang besar d

  • Butterfly Code Generator Percuma

    Rama-rama adalah Penjana Kod mudah menggunakan XMI sebagai input dan templat XSLT untuk menjana apa-apa jenis kod. Beberapa templat disediakan termasuk EJB, JDO dan Struts. Pengguna boleh menggunakan templat, mengubah suainy

  • Neural network designer Percuma

    Projek ini terdiri daripada aplikasi pereka berasaskan tingkap dan perpustakaan (yang boleh berjalan di pelbagai platform, termasuk android) bersama-sama dengan beberapa aplikasi demo (termasuk pelanggan chatbot MVC3 dan apli

  • DL-Learner Percuma

    DL-Learner adalah alat untuk konsep pembelajaran dalam Logik Perihalan (DL) daripada contoh yang disediakan pengguna. Bersamaan, ia boleh digunakan untuk mempelajari kelas dalam ontologi OWL dari objek terpilih.

  • MakeEmbeddedRootfilesystem Percuma

    Makerootfs memudahkan untuk membina filesystem akar untuk peranti terbenam (contohnya berasaskan ARM) dengan mengautomasikan proses menyusun silang melalui skrip cangkerang, tampalan dan konfigurasi lalai. Tidak seperti build

  • VCS Agents and Tools Percuma

    Matlamat projek ini adalah untuk menyediakan plugin (&sebut harga;ejen&) untuk Pelayan Kluster Veritas secara Sumber Terbuka.

  • Etnia Workbench Percuma

    Sambungan ke projek CDT wich mengkonfigurasi pengkompil tambahan dan plugin lain untuk membuat mengintegrasikan pelbagai plattform (sebenarnya Texas Instrument & PIC mikroprocessor)

  • Steini\'s Mini Compiler Percuma

    Steini\'s Mini Compiler adalah pengkompil dos 16 bit yang cepat. Sila bantu untuk meningkatkan pengaturcaraan bahasa menulis arahan baru. Pengkompil menggunakan satu set fail pemasangan untuk proses penyusuan.

  • JCustomizer Percuma

    Sasaran projek JCustomizer adalah penyesuaian generik dan berterusan setiap Java Swing / AWT GUI di runtime: fon, warna, teks, pecut, ... Iringan yang bagus adalah akses WYSIWYG kepada pengantarabangsaan tanpa usaha pengaturc

  • net.sourceforge.ajstruts Percuma

    Kod sumber artikel (http://ajstruts.sf.net) yang diterbitkan pada 11/2003 dalam petikan & sebut harga Jerman;Java Magazin" majalah, menunjukkan bagaimana untuk menyesuaikan diri dengan lib pihak ke-3 (contohnya s