Prześlij oprogramowanie
  1. W: strona główna
  2. Windows
  3. Innych
  4. UNB Theorem Prover?

UNB Theorem Prover?

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

Automatyczne przysłowie theorem zaimplementowane w javie i przy użyciu drzew klauzul. To oprogramowanie będzie w stanie odczytać matematyczne tezy z TPTP i udowodnić lub obalić je.

historia wersji

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

Szczegóły programu

Programy pokrewne

  • fastAOP Wolna

    FastAOP jest bardzo wysokiej wydajności AOP (Aspect Oriented Programming) framework dla java. Ramy te były początkowo opracowanie do obsługi profilowania wydajności i monitorowania dla dużych aplikacji J2EE bez prawie nie p

  • Butterfly Code Generator Wolna

    Butterfly to prosty generator kodu wykorzystujący XMI jako szablony wejściowe i XSLT do generowania dowolnego typu kodu. Dostępnych jest kilka szablonów, w tym EJB, JDO i Struts. Użytkownicy mogą korzystać z szablonów, modyf

  • Neural network designer Wolna

    Ten projekt składa się z aplikacji projektanta opartego na systemie Windows i biblioteki (która może działać na wielu platformach, w tym android) wraz z kilkoma aplikacjami demonstracyjnymi (w tym klientem chatbota MVC3 i apl

  • DL-Learner Wolna

    DL-Learner to narzędzie do uczenia się pojęć w logice opisu (DLs) z przykładów dostarczonych przez użytkownika. Analogicznie może służyć do uczenia się klas w onlogie OWL z wybranych obiektów.

  • MakeEmbeddedRootfilesystem Wolna

    Makerootfs ułatwia zbudowanie głównego systemu plików dla urządzeń osadzonych (np. na bazie ARM) poprzez automatyzację procesu kompilacji krzyżowej za pomocą skryptów powłoki, poprawek i domyślnych konfiguracji. W przeciwieńs

  • VCS Agents and Tools Wolna

    Celem tego projektu jest dostarczenie wtyczek ("agents") dla serwera klastrów Veritas na zasadzie Open Source.

  • Etnia Workbench Wolna

    Rozszerzenia do projektu CDT wich skonfigurować dodatkowe kompilatory i inne wtyczki, aby zintegrować różne plattform (faktycznie Texas Instrument & PIC mikroprocesory)

  • Steini\'s Mini Compiler Wolna

    Mini kompilator Steini's Mini jest szybkim kompilatorem 16-bitowym DOS. Proszę o pomoc w ulepszaniu języka programowania pisząc nowe polecenia. Kompilator używa zestawu plików zestawu dla procesu kompilacji.

  • JCustomizer Wolna

    Celem projektu JCustomizer jest ogólne i trwałe dostosowanie każdego java swing / AWT GUI w czasie wykonywania: czcionki, kolory, teksty, akceleratory, ... Miłym akompaniamentem jest dostęp WYSIWYG do internacjonalizacji bez

  • net.sourceforge.ajstruts Wolna

    Kod źródłowy artykułu (http://ajstruts.sf.net) opublikowanego w 11/2003 w niemieckim magazynie "Java Magazin" pokazuje, jak dostosować libs innych firm (np. rozpórki) do potrzeb projektu i ułatwić migrację do nowej