libLogic

Licencji: Wolna ‎Rozmiar pliku: N/A
‎Ocena użytkowników: 3.0/5 - ‎1 ‎Głosów

libLogic to biblioteka oprogramowania do automatycznego przeznaczenia udowadniając z uważano za niezrównaną zdolność do prawidłowego i skutecznego udowodnienia dokładnie wszystkie możliwe do udowodnienia oświadczenia w każdej logicznej teorii każdego rzędu, bez pomocy człowieka.

historia wersji

  • Wersja N/A opublikowany na 2011-08-12
    Kilka poprawek i aktualizacji
  • Wersja N/A opublikowany na 2011-08-12

Szczegóły programu