请输入您要查询的英文单词:
单词
templog
释义
TEMPLOG
TEMPLOG
Extension of Prolog to handle a clausal subset offirst-order temporal logic with discrete time. Proposed byM. Abadi and Z. Manna of Stanford University.
["Temporal Logic in Programming", M. Abadi et al, INtl SympLogic Prog pp.4-16 (1987)].
随便看
east gate laboratory
east gate news
eastgate professional office park
east gate public library
eastgate regional council of governments
east georgia health center
east georgia regional medical center
east german
east germanic
equipment accountability system
equipment acquisition, construction, and equipment installation
equipment acquisition contractor
equipment acquisition resources
equipment acquisition strategy
equipment acquisition tracking system
equipment activity controller
equipment alignment
equipment allowance file
equipment and assistive technology initiative
equipment and component configuration listing
equipment and components
equipment and engine training council, inc.
equipment and infrastructure enhancement grant
equipment and inventory control
equipment and software emulator
英语词典包含2567994条英英释义在线翻译词条,基本涵盖了全部常用单词的英英翻译及用法,是英语学习的有利工具。
Copyright © 2004-2022 Newdu.com All Rights Reserved
更新时间:2025/11/30 5:01:55