Searching for "PhoX." – sorted by Relevance.
13 documents found, showing 1 through 10.
Next 10 →
-
The Fifteen Provers of the World
- …) Isabelle/Isar, (7) Alfa/Agda, (8) ACL2, (9) PhoX, (10) IMPS, (11) Metamath, (12) Theorema, (13) Lego, (14…
- Add To MetaCart
-
Chemistry of HO
- … concentrations: the primary HO x production rate, P(HO x ), and the concentration of nitrogen oxide radicals (NO…
- Add To MetaCart
-
Use of Description logic and SDRT in an NLG system
- …. So we start by presentingGePhoX. 2 GePhoX PhoX is an extensible proof assistant based on higher order…
- Add To MetaCart
-
A complete integrated NLG system using AI and NLU tools
- … is illustrated with GePhoX, a generator that produces texts which explain the steps taken by PhoX , a proof…
- Add To MetaCart
-
Ozone production in the upper troposphere and the influence of aircraft during SONEX: Approach of NOx-saturated conditions
- … during SONEX (see text). P(HO x) (pptv/day) P(HO x) (pptv/day) 1000 100 10 1000 100 10 0.1 (a) 0.1 (b) 0…
- Add To MetaCart
-
Comparing Mathematical Provers
- … person behind the system: J Strother Moore Person who did p 2 62 Q: Ruben Gamboa 9. PhoX Web page…
- Add To MetaCart
-
Comparing mathematical provers
- … behind the system: J Strother Moore
Person who did √ 2 �∈ Q: Ruben Gamboa
9. PhoX
Web page:
- Cited by 14 (0 self) – Add To MetaCart
-
A new implementation of Automath
- … are HOL, Mizar, PVS, Coq, Otter, Isabelle, Agda, ACL2, PhoX, IMPS, Metamath, Theorema, Lego, Nuprl…
- Cited by 2 (0 self) – Add To MetaCart
-
System ST - Toward A Type System for Extraction AND Proof of Programs
- … it in both direction ! In System ST, typing and subtyping judgments have similar roles. PhoX: All the proofs…
- Cited by 1 (1 self) – Add To MetaCart
-
A Calendar with Common Sense
- … ➝ Thai-restaurant X Vegetarian | Vegetarian X ➝ vegetarian-restaurant Saigon X | X Saigon | Pho X…
- Cited by 14 (1 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
