OtterFace-8

OtterFace-8

Type de licence: Gratuit
Nombre de téléchargements:11
Latest version:10.2
Signaler des informations incorrectes

Captures d'écran

Screenshot Screenshot

Description

Obtenez gratuitement OtterFace-8 10.2 dans notre logithèque. C'est grâce à William McCune que ce logiciel gratuit a vu le jour. Cet outil se trouve dans la sous-catégorie Outils de Bureau de Productivité.

Ce téléchargement a été vérifié par notre antivirus intégré, qui l'a certifié 100% sûr. Parmis les utilisateurs de ce programme, la version la plus téléchargée est la version 10.2. Le dernier fichier d'installation disponible au téléchargement occupera 2.9 MB sur votre disque dur. Le fichier d'installation du logiciel est habituellement : OtterFace8.dmg.

Du développeur:

OtterFace-8 is a simple graphical user interface for Otter and Mace2. (an automated deduction system which is designed to prove theorems stated in first-order logic with equality). It doesn't help you prepare input to Otter/Mace2. You still have to know the input language and prepare input files with your favorite plain text editor.

Que diriez-vous d'essayer aussi des logiciels en rapport avec OtterFace-8 ? Nous vous proposons Keynote, Pages ou QuarkXPress.

Commentaires

Merci d'avoir évalué ce programme!
Merci d'ajouter un commentaire expliquant les raisons de votre vote.
Votre vote:
Info mise à jour:
Dernières mises à jour
Hotspot Shield
Hotspot Shield

Général

Reflector
Reflector

Assistants de Périphériques

Bible Study
Bible Study

Religion & Esoterics

Facilite les téléchargements Facilite les téléchargements
Découvrez FDM
Le support des extensions Vous pouvez obtenir des modules complémentaires qui téléchargent des fichiers/vidéos à partir de sites Web arbitraires.