Invia software
  1. Casa
  2. Windows
  3. Altro
  4. Jape
  5. Download

Jape

Licenza: Gratuito ‎Dimensioni del file: N/A
‎Valutazione utenti: 5.0/5 - ‎1 ‎Voti

Circa Jape

Jape è una calcolatrice grafica configurabile a prova formale. È possibile definire una logica, decidere come gli utenti visualizzano le loro prove e molto altro. Funziona con varianti del calcolo sequenziante e deduzione naturale. Mac, Unix, Windows.

Programmi correlati

  • Amazing Dialer Prova gratuita

    Congratulazioni per aver ottenuto Amazing Dialer, il software di quadrante più ricco di funzionalità e intuitivo per Windows! Questo potente programma offre tutto il necessario per lavorare con la connessione Internet remota.

  • WW.com Webcam Gratuito

    WW.com (World of Webcams) Webcam mette il flusso della fotocamera sul web all'istante. Ottieni una home page gratuita della webcam e incontra e chatta istantaneamente con altre webcam ww.com. Funziona con qualsiasi fotocamera

  • MSN Emoticons - Love Gratuito

    Msn Emoticons Alien emoticon facili da usare integrarle in qualsiasi convo usarle con la famiglia di amici o i colleghi rendono il convo più interessante con emoticon interessanti.

  • LIVE Streaming, Online Broadcast Monitor Gratuito

    Raccogli fino a 25 canali di streaming live da servizi Livestream.com, Blogtv.com, uStream.tv, Justin.tv, Stickam USA, Stickam Japan, servizi Microsoft Media Server (MMS) e flusso video Motion JPEG in un'unica pagina.

  • Torque Themes & Editor (OBD 2) Prova gratuita

    Il primo di 4 pacchetti ***** 12 fantastici temi di coppia - per le versioni Torque Pro e Lite Free. Facile installazione, una pressione di un pulsante.Impacchetto e salva! Pacchetto tematico 1-- OriginalePacchetto te

  • Web Messenger Prova gratuita

    GChat Web Messenger è uno strumento di comunicazione completo, adatto per l'integrazione con una varietà di forum e siti Web. Può anche essere distribuito come strumento di supporto autonomo, fornendo assistenza clienti 1 a 1

  • AdRem iTools Prova gratuita

    AdRem iTools 2007 è un gruppo di strumenti di rete essenziale che combina utilità diagnostiche come Ping, Traceroute, Ricerca DNS, visualizzatore SNMP, porta/rete, scanner di larghezza di banda e altro ancora. Tutti sono disp

  • .hack Server modded Mangos Core & SD2 Gratuito

    Nucleo di mango e SD2 compilato con Chrnp Lawliet. Modificare su .hack Server core & scripts mangos wow server.

  • Bookmarks WebMaker Prova gratuita

    Bookmarks WebMaker consente di creare un intero sito Web con collegamenti ai preferiti di Internet Explorer.Utilizzando questo software sarai in grado di accedere facilmente ai tuoi web preferiti attraverso il tuo browser I

  • "> Gratuito

    Questo programma è un software open source gratuito sia per uso personale che commerciale, quindi la scelta perfetta per coloro che desiderano un'alternativa per programmi a pagamento più noti.