ホーア in Vietnamese
whore
- n
- gái làng chơi; gái điếm
Sentence patterns related to "ホーア"
Below are sample sentences containing the word "ホーア" from the Japanese - Vietnamese. We can refer to these sentence patterns for sentences in case of finding sample sentences with the word "ホーア", or refer to the context using the word "ホーア" in the Japanese - Vietnamese.
1. 公理的意味論の典型的な例としてホーア論理がある。
2. 表明をプログラム内で使うことは、ホーア論理で最初に示唆された。
3. CSPは1978年、アントニー・ホーアが最初に考案し、その後かなり改良されていった。
4. 間もなく、この問題はアントニー・ホーアによって「食事する哲学者の問題」に変形して語られることとなった。
5. ホーア論理には、単純な命令型言語の全構成要素についての公理と推論規則が備わっている。