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.
sürüm geçmişi
- Sürüm N/A tarihinde gönderildi 2011-08-12
Çeşitli düzeltmeler ve güncelleştirmeler - Sürüm N/A tarihinde gönderildi 2011-08-12
Program Detayları
- Kategori: Geliştirme > Diğer
- Yayımcı: liblogic.sf.net
- Lisans: Ücret -siz
- Fiyat: N/A
- Sürüm: Array
- Platform: windows