---

Hokus

---

Read Also:

• Hokusai

  [hoh-kuh-sahy, hoh-kuh-sahy; Japanese haw-koo-sahy] /ˈhoʊ kəˌsaɪ, ˌhoʊ kəˈsaɪ; Japanese ˈhɔ kʊˈsaɪ/ noun 1. Katsushika [kah-tsoo-shee-kah] /ˈkɑ tsʊˈʃi kɑ/ (Show IPA), 1760–1849, Japanese painter and illustrator. /ˈhəʊkʊˌsaɪ; ˌhəʊkʊˈsaɪ/ noun 1. Katsushika (ˌkætsuːˈʃiːkə). 1760–1849, Japanese artist, noted for the draughtsmanship of his colour wood-block prints, which influenced the impressionists

• Hol

  [holz] /hɒlz/ plural noun 1. Sometimes, hol. British Informal. (def 5). 1. variant of before a vowel: holiatry. combining form 1. a variant of holo- /hɒlz/ plural noun 1. (Brit, school slang) holidays hol- pref. Variant of holo-. Higher Order Logic. A proof-generating system for higher order logic based on LCF. Implementations include HOL-88 and […]

• Hol-88

  An implementation of HOL built on ML by Mike Gordon [email protected].

• Hol-90

  An implementation of HOL built on SML/NJ by Brian Graham [email protected]. Runs on Sun-4. (ftp://fsa.cpsc.ucalgary.ca/pub/hol90.tar.Z). Mailing list: [email protected].

• Holandric gene

  holandric gene n. See Y-linked gene.

---