libLogic adalah perpustakaan perangkat lunak untuk teori otomatis yang membuktikan dengan kemampuan yang diyakini tidak tertandingi untuk membuktikan dengan benar dan efisien semua pernyataan yang dapat dibuktikan dalam teori logis apa pun dari urutan apa pun, tanpa bantuan manusia.
Riwayat versi
- Versi N/A diposting di 2011-08-12
Beberapa perbaikan dan pembaruan - Versi N/A diposting di 2011-08-12
Detil Program
- Kategori: Pengembangan > Lain
- Penerbit: liblogic.sf.net
- Lisensi: Gratis
- Harga: N/A
- Versi: Array
- Platform: windows