网站首页  词典首页

请输入您要查询的英文单词:

 

单词 Owre
释义

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
    随便看

     

    英语词典包含168364条英汉在线翻译词条,基本涵盖了全部常用单词的翻译及用法,是英语学习的有利工具。

     

    Copyright © 2010-2024 Sijigu.com All Rights Reserved
    京ICP备2021023879号 更新时间:2025/3/4 7:59:16