検索結果- 英語 - 多言語
検索内容:
howadjis
howadji
A traveller. / A merchant in the East.
Curry-Howard correspondence
A thesis which claims the existence of an analogy or correspondence between — on the one hand — constructive mathematical proofs and programs (especially functions of a typed functional programming language), and — on the other hand — between formulae (proven by the aforementioned proofs) and types (of the aforementioned functions).
Howardian
Of or relating to the Howard family, an English aristocratic family that gave its name to the Howardian Hills in Yorkshire.
howcatchem
A mystery novel or drama which begins by showing or describing the commission of the crime, generally revealing the perpetrator's identity to the audience, then shows or describes how the detective proves the perpetrator's guilt.
howcatchems
plural of howcatchem
how'll
Howarths
Howdens
Howard County
A county of Arkansas, United States. County seat: Nashville, named after James Howard. / A county of Indiana, United States. County seat: Kokomo, named after Tilghman Howard.