Mira otros diccionarios:

• PhoX — (logiciel) PhoX (1994) est un assistant de preuve développé par Christophe Raffalli à l Université de Savoie et antérieurement à Jussieu avec la participation de Philippe Curmin, Pascal Manoury et Paul Roziere. Son nom provient du fait qu un… …   Wikipédia en Français

• Phox — (logiciel) PhoX (1994) est un assistant de preuve développé par Christophe Raffalli à l Université de Savoie et antérieurement à Jussieu avec la participation de Philippe Curmin, Pascal Manoury et Paul Roziere. Son nom provient du fait qu un… …   Wikipédia en Français

• PhoX — In automated theorem proving, PhoX is a proof assistant based on higher order logic which is eXtensible. The user gives PhoX an initial goal and guides it through subgoals and evidence to prove that goal. (Internally, it constructs natural… …   Wikipedia

• PhoX (logiciel) — PhoX (1994) est un assistant de preuve développé par Christophe Raffalli à l Université de Savoie et antérieurement à Jussieu avec la participation de Philippe Curmin, Pascal Manoury et Paul Roziere. Son nom provient du fait qu un renard (en… …   Wikipédia en Français

• phox — (= phox47; phox67) Components of the NADPH oxidase system in phagocytes, the system responsible for generating an oxidative burst and thus bacterial killing. Phox47 and phox67 are cytoplasmic and only associate with the integral membrane… …   Dictionary of molecular biology

• PHOX — Photonics Corporation (Business » NASDAQ Symbols) …   Abbreviations dictionary

• PHOX — paired mesoderm homeobox [gene] …   Medical dictionary

• phox — o (G). Pointed …   Dictionary of word roots and combining forms

• PHOX — abbr. PHOTONICS CORP NASDAQ …   Dictionary of abbreviations

• PHOX — • paired mesoderm homeobox [gene] …   Dictionary of medical acronyms & abbreviations