RacerPro

par Racer Systems GmbH & Co. KG

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

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.

utile

Comment nettoyer le registre

utile

Comment créer des graphiques vectoriels

utile

Comment utiliser un pare-feu