Software verzenden
  1. Home
  2. Windows
  3. Andere
  4. Jape
  5. Download

Jape

Licentie: Gratis ‎Bestandsgrootte: N/A
‎Gebruikersbeoordeling: 5.0/5 - ‎1 ‎Stemmen

Over Jape

Jape is een configureerbare grafische formal-proof rekenmachine. Het is mogelijk om een logica te definiëren, te beslissen hoe uw gebruikers hun bewijzen bekijken en nog veel meer. Het werkt met varianten van de sequent calculus en natuurlijke aftrek. Mac, Unix, Windows.

Gerelateerde programma's

  • Amazing Dialer Gratis proefperiode

    Gefeliciteerd met het verkrijgen van Amazing Dialer, de meest feature-rijke en gebruiksvriendelijke kiessoftware voor Windows! Dit krachtige programma biedt alles wat je nodig hebt om te werken met de inbelverbinding. Als u p

  • WW.com Webcam Gratis

    WW.com ( World of Webcams ) Webcam zet uw camera stream op het web direct. Ontvang een gratis webcam homepage en direct ontmoeten en chatten met andere webcams op ww.com. Werkt met elke pc-camera. Ook bevat uw gratis webcampa

  • MSN Emoticons - Love Gratis

    Msn Emoticons Alien emoticons gemakkelijk te gebruiken integreren ze in een convo ze gebruiken met je vriend familie of collega's maken de convo interessanter met coole emoticons.

  • LIVE Streaming, Online Broadcast Monitor Gratis

    Verzamel maximaal 25 live streaming kanalen van Livestream.com, Blogtv.com, uStream.tv, Justin.tv, Stickam USA, Stickam Japan, Microsoft Media Server (MMS) diensten en Motion JPEG video stream in één en enkele pagina.

  • Torque Themes & Editor (OBD 2) Gratis proefperiode

    De eerste van 4 Packs ***** 12 Cool Torque Thema's - voor Torque Pro en Lite Gratis versies. Eenvoudig installeren, één druk op de knop.Bundel en bespaar! Themapakket 1.Themapakket 2 -- Vuur en metaal ; Themapakket

  • Web Messenger Gratis proefperiode

    GChat Web Messenger is een volledig uitgeruste communicatietool, geschikt voor integratie met een verscheidenheid aan forums en websites. Het kan ook worden ingezet als een standalone support tool, die 1-op-1, voice en video

  • AdRem iTools Gratis proefperiode

    AdRem iTools 2007 is een essentiële netwerktoolset die diagnostische hulpprogramma's zoals Ping, Traceroute, DNS Lookup, SNMP-viewer, poort/netwerk, bandbreedtescanner en meer combineert. Ze zijn allemaal beschikbaar via een

  • .hack Server modded Mangos Core & SD2 Gratis

    Mango's core & SD2 samengesteld met Chrnp Lawliet. Wijzigen op .hack Server core & scripts mango's wow server.

  • Bookmarks WebMaker Gratis proefperiode

    Bookmarks WebMaker u een hele website met links naar uw internet explorer favorieten te maken.Met behulp van deze software u eenvoudig toegang krijgen tot uw favoriete webs via uw internetbrowser, online publiceren en uw bl

  • "> Gratis

    Dit programma is een open source software gratis voor zowel persoonlijk als commercieel gebruik, dus de perfecte keuze voor degenen die een alternatief willen voor meer bekende betaalde programma's.