libLogic

Lesen: Percuma ‎Saiz fail: N/A
‎Penarafan Pengguna: 3.0/5 - ‎1 ‎Undi

Tentang libLogic

libLogic adalah perpustakaan perisian untuk teorem automatik membuktikan dengan keupayaan yang dipercayai-ke-tidak sama rata untuk membuktikan dengan betul dan cekap semua kenyataan yang boleh dibuktikan dalam mana-mana teori logik apa-apa perintah, tanpa bantuan manusia.