Owre

英式音标：

美式音标：

词义：

释义

[人名] 奥尔；

用法：

权威例句

Historical Overview, Current Status, and Future Trends in Human-Computer Interfaces for Process Control

Programmable heuristics for theorem provers

City Research Online

PVS: A Prototype Verification System

PVS: A prototype verification system

Formal verification for fault-tolerant architectures: prolegomena to the design of PVS

An Overview of SAL

The pvs proof checker: a reference manual (beta release)

The PVS Specification Language

The Formal Semantics of PVS

造句：

1. His exploration of the myth brings insight into the American psyche.

他对这个神话的探讨揭示了美国人的心理。

来自柯林斯例句

2. I have been working on exploding the myth of fixity of meaning.

我一直在致力于推翻有关意义恒定性的谬谈。

来自柯林斯例句

3. Rumour, myth and hearsay obscure the truth after months of bloodshed.

杀戮持续了数月后，真相在谣言、谎话和传闻的遮掩下变得模糊不清。

来自柯林斯例句

4. My mother colluded in the myth of him as the swanky businessman.

我母亲和别人串通，把他杜撰成一个阔气的商人。

来自柯林斯例句

5. The myth of Narcissus is described in Ovid's work.

有关那喀索斯的神话故事在奥维德的作品中有过描述。

来自柯林斯例句

[ myth 造句 ]