RacerPro

por Racer Systems GmbH & Co. KG

Ooops

Vaya, el enlace de descarga ya no está

5.0

con 1 votos

Tipo de licencia: Demo

Descargas totales:1

Sistema operativo:Windows 7

Latest version:2.0

Reportar información incorrecta

Descripción

Captura de pantalla

Nuestra página web le ofrece una descarga gratuita de RacerPro 2.0. RacerPro forma parte del grupo de programas Educación y Ciencia. El nombre de archivo de instalación del programa más común es: RacerPro.exe. Las versiones de la aplicación más usadas son 2.0 y 1.9. Este programa fue desarrollado originariamente por Racer Systems GmbH & Co. KG.

Del desarrollador:

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.

Quizás esté interesado en probar otros programas, como MultiMedia Logic, Logic Pro o Logic Gate Simulator, que podrían ser parecidos a RacerPro.

útil

Cómo limpiar el registro

útil

Cómo crear gráficos vectoriales

útil

Cómo usar un cortafuegos