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

Jape

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

Jape to konfigurowalny graficzny kalkulator formalno-dowód. Możliwe jest zdefiniowanie logiki, podjęcie decyzji, w jaki sposób użytkownicy będą wyświetlać swoje dowody i wiele więcej. Współpracuje z wariantami rachunku sequent i naturalnego odliczenia. Mac, Unix, Windows.

historia wersji

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

Szczegóły programu

Programy pokrewne

  • Amazing Dialer Bezpłatna wersja próbna

    Gratulujemy uzyskania Amazing Dialer, najbardziej bogate w funkcje i przyjazne dla użytkownika oprogramowanie do wybierania numerów dla Windows! Ten potężny program zapewnia wszystko, czego potrzebujesz do pracy z telefoniczn

  • WW.com Webcam Wolna

    WW.com (World of Webcams) Kamera internetowa natychmiast umieszcza strumień kamery w internecie. Pobierz bezpłatną stronę główną kamery internetowej i natychmiast spotkać się i porozmawiać z innymi kamerami internetowymi na w

  • MSN Emoticons - Love Wolna

    Msn Emotikony Alien emotikony łatwe w użyciu zintegrować je w każdym convo używać ich z rodziną przyjaciela lub współpracowników uczynić konwęgi bardziej interesujące z chłodnych emotikony.

  • LIVE Streaming, Online Broadcast Monitor Wolna

    Zbierz do 25 kanałów transmisji strumieniowej na żywo z Livestream.com, Blogtv.com, uStream.tv, Justin.tv, Stickam USA, Stickam Japan, Microsoft Media Server (MMS) i motion JPEG video stream na jednej i jedynej stronie.

  • Torque Themes & Editor (OBD 2) Bezpłatna wersja próbna

    Pierwszy z 4 pakietów *** 12 fajnych motywów momentu obrotowego - dla wersji Torque Pro i Lite Free. Łatwa instalacja, jednym naciśnięciem przycisku.Pakiet i zapisz! Pakiet tematyczny 1 - OryginałPakiet tematyczny 2 -

  • Web Messenger Bezpłatna wersja próbna

    GChat Web Messenger to w pełni funkcjonalne narzędzie komunikacyjne, odpowiednie do integracji z różnymi forami i stronami internetowymi. Można go również wdrożyć jako samodzielne narzędzie pomocy technicznej, zapewniając 1-d

  • AdRem iTools Bezpłatna wersja próbna

    AdRem iTools 2007 to niezbędny zestaw narzędzi sieciowych, który łączy narzędzia diagnostyczne, takie jak Ping, Traceroute, DNS Lookup, przeglądarka SNMP, port / sieć, skaner przepustowości i inne. Wszystkie z nich są dostępn

  • .hack Server modded Mangos Core & SD2 Wolna

    Mango core & SD2 skompilowany z Chrnp Lawliet. Modyfikuj na .hack Server core & skrypty mangos wow serwera.

  • Bookmarks WebMaker Bezpłatna wersja próbna

    Zakładki WebMaker pozwala na całą stronę internetową z linkami do ulubionych internet explorer.Za pomocą tego oprogramowania będzie można łatwo uzyskać dostęp do ulubionych stron internetowych za pośrednictwem przeglądarki

  • "> Wolna

    Ten program jest oprogramowaniem open source wolnym zarówno do użytku osobistego, jak i komercyjnego, a więc idealnym wyborem dla tych, którzy chcą alternatywy dla bardziej znanych płatnych programów.