Lotrec.

Prover Teorema Tableau untuk logika modal
Unduh sekarang

Lotrec. Peringkat & Ringkasan

Iklan

  • Rating:
  • Lisensi:
  • Freeware
  • Nama Penerbit:
  • Bilal Said
  • Situs web penerbit:
  • http://www.irit.fr/
  • Sistem operasi:
  • Mac OS X
  • Ukuran file:
  • 1 KB

Lotrec. Tag


Lotrec. Keterangan

LOTREC adalah aplikasi yang mudah digunakan dan praktis yang dapat digunakan sebagai Prover Teorema Tableau Generik untuk logika modal. Ini dapat digunakan untuk menganalisis, menguji, dan membuat implementasi metode tablo baru. LOTREC ditulis dalam bahasa pemrograman Java dan dapat dijalankan pada Mac OS X, Windows dan Linux.


Lotrec. Perangkat Lunak Terkait

Tentang kami