Windows Mac
FR
RacerPro

RacerPro

Ooops
le lien de téléchargement a disparu
5.0

avec 1 vote
Type de licence: Démo
Nombre de téléchargements:1
Système d'exploitation:Windows 7
Latest version:2.0
Signaler des informations incorrectes

Description

Screenshot
Capture d'écran

Téléchargez gratuitement RacerPro 2.0 dans notre logithèque. Retrouvez RacerPro dans notre catégoie Éducation et Science et plus précisément Outils Scientifiques. C'est grâce à Racer Systems GmbH & Co. KG que ce logiciel a vu le jour. Parmis les utilisateurs de ce logiciel, les versions les plus téléchargées sont les versions 2.0 et 1.9. Le fichier d'installation du programme est habituellement : RacerPro.exe.

Du développeur:

RacerPro is a knowledge representation system that implements a highly optimized tableau calculus for a very expressive description logic.

It offers reasoning services for multiple T-boxes and for multiple A-boxes as well. The system implements the description logic ALCQHIR also known as SHIQ. This is the basic logic ALC augmented with qualifying number restrictions, role hierarchies, inverse roles, and transitive roles.

Utilisateur de RacerPro, vous pourriez être intéressé aussi par ces logiciels : Omni-Rig, PINs ou COMPASS.

utile
Comment nettoyer le registre
utile
Comment créer des graphiques vectoriels
utile
Comment utiliser un pare-feu

Commentaires

Facebook
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
KingshiperZip
KingshiperZip

Archiveurs

Notepad++
Notepad++

Gestion de Documents

RoboForm
RoboForm

Vie Privée

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.