PhoX Menú de navegación


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.







-

Popular posts from this blog

Anexo:Material bélico de la Fuerza Aérea de Chile Índice Aeronaves Defensa...

Image
Fuerza Aérea de Chile materialFuerza Aérea de ChileJDAMAdvanced HawkTA-50Alenia Aermacchi M-346FLIRHydrahttp://www.infodefensa.com/latam/2014/02/26/noticia-fuerza-aerea-chile-interesada-a400m.htmlhttps://www.scramble.nl/index.php?option=com_mildb&view=search Aquí esta todo el material bélico de la Fuerza Aérea de Chile. Índice 1 Aeronaves 2 Defensa Antiaérea 3 Armamento 4 Material de reserva 5 Véase también 6 Referencias Aeronaves Aeronave Origen Tipo Versiones en servicio Total [ 1 ] ​ Fotos Aeronaves de la FACH (225) Lockheed Martin F-16 Estados Unidos   Estados Unidos   Países Bajos Caza Polivalente -AIM120/AAM Derby/JDAM/WCMD -Serán modernizados con radares AESA, <br>Se sumarán unidades adicionales 11A 7B 6C 4D 46 Northrop F-5E Tigre III Estados Unidos   Estados Unidos Caza Polivalente -Sistema de guerra electrónica mejorado -Equipado con el misil AAM Derby y casco Dash II
Read more

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

Image
Should corporate security training be tailored based on a users' job role? Does human life have innate value over that of other animals? Limit involving inverse functions Father gets chickenpox, but doesn't infect his two children. How is this possible? Is it possible to re-order a List of continous entries? Who, if anyone, was the first astronaut to return to earth in a different vessel? The totem pole can be grouped into Identical projects by students at two different colleges: still plagiarism? Sci fi book, man buys a beat up spaceship and intervenes in a civil war on a planet and eventually becomes a space cop How to not
Read more

update json value to null Announcing the arrival of Valued Associate #679: Cesar Manara ...

Image
Seeking colloquialism for “just because” Sci-Fi book where patients in a coma ward all live in a subconscious world linked together Understanding Ceva's Theorem Dating a Former Employee How to find out what spells would be useless to a blind NPC spellcaster? Why am I getting the error "non-boolean type specified in a context where a condition is expected" for this request? Why are both D and D# fitting into my E minor key? Do I really need recursive chmod to restrict access to a folder? How to override model in magento2? How do I stop a creek from eroding my steep embankment? Wit
Read more