HLM Proof Assistant
Pobieranie będzie można pobrać w ciągu 5 sekund.
Możesz również kliknąć następujący link do pobierania zewnętrznego, aby rozpocząć pobieranie:
http://sourceforge.net/projects/hlm/files/Prototype/hlm.zip/download
O HLM Proof Assistant
HLM jest asystentem dowodzącym codziennej matematyki, która jest obecnie opracowywana. Ma na celu doświadczenie użytkownika jak najbliżej regularnej praktyki matematycznej, i dowody, które są zrozumiałe dla ludzi z niewielkim dodatkowym wysiłkiem.
Programy pokrewne
-
MLA Auto-Generator Wolna
Generuje poprawnie sformatowane (MLA, APA, Chicago, CPE, Turabian) wpisy dla prac cytowanych lub stron bibliograficznych.
-
Animal Imaging Wolna
"animal-imaging" to projekt mający na celu gromadzenie i rozpowszechnianie informacji na temat technologii obrazowania (np.
-
Wordcorr Wolna
Wordcorr automatyzuje żmudny i ryzykowny proces tworzenia tabulacji i zarządzania korespondencją dźwiękową używaną do wypracowania historycznego rozwoju języków naturalnych. Daje dostęp do wszystkich danych, przez cały czas.
-
aMS - advanced Modeling System Wolna
System profilowania/modelowania użytkowników, który ma możliwość użycia z każdym typem systemu personlization. Zaletą jest to, że system ten nie jest zawarty w aplikacji i może być używany do wielu celów i w różnych konteksta
-
X-Specs Wolna
Biblioteki i narzędzia do obsługi projektowania oprogramowania przy użyciu kodu wykonywalnego jako specyfikacje, do obsługi rozwoju opartego na testach i innych metod Agile.
-
Action Movies Wolna
Lubisz quizy? Lubisz popkulturę z lat 00-tych? Lubisz darmowe rzeczy?! Następnie jest to aplikacja dla Ciebie ... zabawa, darmowe quizy ciekawostki wielokrotnego wyboru w kieszeni! Myślisz, że znasz różnicę między Goodfella i
-
New Super Mario Bros Guide Wolna
NOWY SUPER MARIO BROS WII GUIDE " NIEOFICJALNY PRZEWODNIK GUIDEà ¢  € ÂWOBOŚCI NASTĘPUJĄCE:WALKTHROUGH-World 1- World 2- World 3etcà ¢  €  | SECRETS- Secret Goalsetc.. GRZYB DOMSetc.. Tagi:"New super mario bros w
-
Baby's number school(flower) Bezpłatna wersja próbna
Najlepsza aplikacja dla niemowląt.Dziecko może studiować numer z pięknymi kwiatami.Obsługujemy 10 zdjęć kwiatowych i 1 ~ 10 liczb.To pomaga dziecku rozwijać mózg.Chylić pewien zabawny czas rezygnować ten aplikacja
-
RAPID Wolna
RAPID (REBOL API DocuMentor) umożliwia pobieranie dokumentacji z kodu źródłowego REBOL i publikowanie w różnych formatach wyjściowych, takich jak HTML, PDF, make-doc-pro i inne.
-
Logic Solver (truth tables) Bezpłatna wersja próbna
Ten program pokazuje tabele prawdy, wpisujesz propozycję z literami, które wolisz, na przykład: PvQ^R lub Av~B, a program pokazuje tabelę prawdy.Ten program pomaga również uprościć propozycje, pokazując listę posibles rów