RacerPro

por Racer Systems GmbH & Co. KG

Ooops

o link para download desapareceu

5.0

em 1 voto

Licença: Demonstração

Total de downloads:1

Sistema operacional:Windows 7

Latest version:2.0

Denunciar informações incorretas

Descrição

Imagem do ecrã

RacerPro 2.0 está presente como download na nossa biblioteca de programas. Esse software foi originalmente produzido por Racer Systems GmbH & Co. KG. O arquivo do instalador do programa é conhecido como RacerPro.exe. As seguintes versões são as mais frequentemente baixadas pelos usuários do programa: 2.0 e 1.9. O programa fica na subcategoria Ferramentas de Ciência, que fica dentro de Educação.

Do desenvolvedor:

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.

Confira mais programas, tais como Omni-Rig, PINs ou COMPASS, que podem ser relacionados a RacerPro.

útil

Como limpar registro

útil

Como criar gráficos vetoriais

útil

Como usar um firewall