![](/statics/img/blank.png)
libLogic
Lisans: Ücret -siz Dosya boyutu: N/A
Kullanıcı Derecelendirmesi: 3.0/5 - 1 Oy
Lütfen bekleyin... İndirme bağlantınız kötü amaçlı içerik için doğrulanıyor.
5 saniye içinde indirebilirsiniz.
5 saniye içinde indirebilirsiniz.
Hakkı -nda libLogic
libLogic doğru ve verimli bir şekilde herhangi bir düzenin herhangi bir mantıksal teori, hiçbir insan yardımı ile tam olarak tüm kanıtlanabilir ifadeleri kanıtlamak için inanılan-be-eşsiz yeteneği ile kanıtlayan otomatik teorem için bir yazılım kütüphanesidir.