Software einreichen
  1. Startseite
  2. Windows
  3. Andere
  4. Jape

Jape

Lizenz: kostenlos ‎Dateigröße: N/A
‎Benutzerbewertung: 5.0/5 - ‎1 ‎Stimmen
Herunterladen

Jape ist ein konfigurierbarer grafischer formal-proof Rechner. Es ist möglich, eine Logik zu definieren, zu entscheiden, wie Ihre Benutzer ihre Beweise anzeigen, und vieles mehr. Es arbeitet mit Varianten des sequenten Kalküls und des natürlichen Abzugs. Mac, Unix, Windows.

VERSIONSVERLAUF

  • Version N/A veröffentlicht auf 2011-08-11
    Mehrere Korrekturen und Updates
  • Version N/A veröffentlicht auf 2011-08-11

Programmdetails

Verwandte Programme

  • Amazing Dialer Kostenlose Testversion

    Herzlichen Glückwunsch zur Erlangung von Amazing Dialer, der funktionsreichsten und benutzerfreundlichsten Wählsoftware für Windows! Dieses leistungsstarke Programm bietet alles, was Sie für die Arbeit mit der DFÜ-Internetver

  • WW.com Webcam kostenlos

    WW.com ( World of Webcams ) Webcam stellt Ihren Kamerastream sofort ins Web. Holen Sie sich eine kostenlose Web-Cam-Homepage und sofort treffen und chatten mit anderen Webcams auf ww.com. Funktioniert mit jeder PC-Kamera. Auß

  • MSN Emoticons - Love kostenlos

    Msn Emoticons Alien Emoticons einfach zu verwenden integrieren sie in jedem Convo verwenden sie mit Ihrer Freunde Familie oder Kollegen machen die Convo interessanter mit coolen Emoticons.

  • LIVE Streaming, Online Broadcast Monitor kostenlos

    Sammeln Sie bis zu 25 Live-Streaming-Kanäle von Livestream.com, Blogtv.com, uStream.tv, Justin.tv, Stickam USA, Stickam Japan, Microsoft Media Server (MMS)-Diensten und Motion JPEG-Videostream auf einer einzigen Seite.

  • Torque Themes & Editor (OBD 2) Kostenlose Testversion

    Das erste von 4 Packs ***** 12 Cool Torque Themes - für Torque Pro und Lite Free Versionen. Einfache Installation, eine Taste drücken.Bundle und Save! Themenpaket 1-- OriginalThema Pack 2 -- Feuer und Metall ; Theme

  • Web Messenger Kostenlose Testversion

    GChat Web Messenger ist ein voll funktionsfähiges Kommunikationstool, das für die Integration mit einer Vielzahl von Foren und Websites geeignet ist. Es kann auch als eigenständiges Support-Tool bereitgestellt werden, das Ihr

  • AdRem iTools Kostenlose Testversion

    AdRem iTools 2007 ist ein wichtiges Netzwerk-Toolset, das Diagnose-Dienstprogramme wie Ping, Traceroute, DNS-Lookup, SNMP Viewer, Port/Netzwerk, Bandbreitenscanner und mehr kombiniert. Alle von ihnen sind über eine windows-ge

  • .hack Server modded Mangos Core & SD2 kostenlos

    Mangos core & SD2 kompiliert mit Chrnp Lawliet. Ändern Sie auf .hack Server Core & Scripts mangos wow Server.

  • Bookmarks WebMaker Kostenlose Testversion

    Bookmarks WebMaker ermöglicht es Ihnen, eine ganze Website mit Links zu Ihren Internet Explorer Favoriten zu machen.Mit dieser Software können Sie ganz einfach über Ihren Internetbrowser auf Ihre Lieblings-Webs zugreifen, o

  • "> kostenlos

    Dieses Programm ist eine Open-Source-Software kostenlos für den persönlichen und kommerziellen Gebrauch, daher die perfekte Wahl für diejenigen, die eine Alternative für bekanntere bezahlte Programme wollen.