Prześlij oprogramowanie
  1. W: strona główna
  2. Windows
  3. Innych
  4. libLogic

libLogic

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

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

Programy pokrewne

  • CMS Utilities Wolna

    cmsutils zapewnia programy, które pomogą Ci rozwijać, tworzyć i tłumaczyć cms (Postnuke, Xaraya, ...) moduły. Napisałem w Delphi/Kylix

  • luabridge Wolna

    Luabridge to lekka biblioteka bez zależności do eksportowania funkcji i klas języka C++ do środowisk Lua. Używa standardowego szablonu C++ metaprogramowania i jest napisany przeciwko Lua 5.1.2.

  • svgconv Wolna

    svgconv to narzędzie do konwersji ścieżek SVG do formatu C, który może być łatwo używany z OpenVG.

  • Mobile StrongBOX - Data Vault Bezpłatna wersja próbna

    Najlepsza aplikacja do ochrony danych, Mobile StrongBOX jest przeznaczony do bezpiecznego przechowywania prywatnych informacji, takich jak zdjęcia lub filmy, hasła, dane dla kont bankowych, dokumentów i wszystkiego, co chce

  • embedded Finite State Machine (eFSM) Wolna

    Wbudowany obiekt FSM (Finite State Machine), który może być używany do modelowania i sterowania systemem reaktywnym lub stanowym. System może być reprezentowany przez dowolną liczbę stanów. Przejścia stanu są napędzane przez

  • Albert Wolna

    Albert jest generatorem doc dla Common Lisp, porównywalnym do Javadoc i Doxygen. Obecnie generuje dokumentację DocBook. Odczytuje definicję systemu ASDF i dokumentuje system.

  • SETILog for Unix Wolna

    SETILog zapisuje niektóre statystyki ukończonego SETI@home jednostki roboczej w tekście CSV. Ten plik jest potrzebny przez SETIWatch do śledzenia ukończonych jednostek roboczych.

  • HappyDoc Wolna

    HappyDoc to narzędzie do wyodrębniania dokumentacji z kodu źródłowego Języka Python. Różni się od innych takich aplikacji faktem, że używa drzewa analizy dla modułu do uzyskania informacji i nie importuje modułu.

  • OpenCL .Net Wolna

    Ten projekt próbuje zrobić dwie rzeczy. Po pierwsze udostępnia powiązania z interfejsem API OpenCL, które dubluje specyfikację OpenCL 1.1 tak ściśle, jak to możliwe. Po drugie, zapewnia wyższy poziom abstrakcji interfejsu API

  • PAPAS: Path Planning Algorithm Suite Wolna

    PAPAS (Path Planning Algorithms Suite) to zestaw algorytmów przeznaczonych do planowania ścieżek. Ma wspólne algorytmy, takie jak PRM, RRT, Wavefront Planner, itp. Implementacja odbywa się w języku C, a kod został opracowany