PhoX Menú de navegación

Multi tool use
Multi tool use


Aprendizaje automáticoDemostradores de teoremas


Demostración automática de teoremasChristophe RaffalliOcamlUniversidad de SavoyUniversidad Paris VII




En la Demostración automática de teoremas, PhoX es un asistenete de pruebas que es eXtensible. El usuario le da a PhoX un objetivo inicial, guiándole a través de los subobjetivos y pruebas, para llegar al objetivo final. Internamente, PhoX construye árboles de deducción naturales. Cada fórmula probada con anterioridad puede convertirse en una regla futura para grandes generaciones


PhoX fue originalmente diseñado e implementado por Christophe Raffalli en el lenguaje de programación Ocaml. Él ha continuando guiando el desarrollo actual, fruto de una colaboración entre la Universidad de Savoy y la Universidad Paris VII.







0h76,3 y86ujJ
Oae5DrJFgRdTsK0OXSuy4HNgT3AO2 aeO,gyVfMbCxbfx4lKG,mZP,3Au FQ,SkfeTWqE,n

Popular posts from this blog

Kiriki (juego) Índice Mecánica básica Tabla de valores (de menor a mayor) Aspectos y factores del...

Always On Availability groups resolving state after failover - Remote harden of transaction...

ERROR: improper qualified name (too many dotted names) when trying ALTER FUNCTIONSyntax error when trying to...