Vampire

机译：吸血鬼

获取原文

获取原文并翻译 | 示例

页面导航

摘要
著录项
相似文献
相关主题

摘要

Vampire is a resolution-based theorem prover for first-order classical logic. The current version implements ordered binary resolution with the set-of-support strategy and ordered hyperresolution. The competition version will have equality rules.

机译：吸血鬼是一阶经典逻辑的基于分辨率的定理证明者。当前版本使用支持集策略和有序超分辨率实现有序二进制解析。竞赛版本将具有平等规则。

著录项

来源
《Automated deduction-CADE-16》|1999年|p.292-296|共5页
会议地点 Trento(IT);Trento(IT)
作者
Alexandre Riazanov; Andrei Voronkov;
展开▼
作者单位

展开▼
会议组织
原文格式 PDF
正文语种 eng
中图分类自动化技术、计算机技术;
关键词

相似文献

外文文献
中文文献
专利

1. Task vampires and emotional vampires HOW TO SLAY THESE PRODUCTIVITY-DRAINING MONSTERS [J] . Dennis McCarron Modern Tire Dealer . 2019,第12期

机译：任务吸血鬼和情绪吸血鬼如何杀死这些生产力排出的怪物
2. INTERVIEW WITH A VAMPIRE: AN INTERVIEW WITH LT PATRICK MARTIN, OPERATIONAL TEST DIRECTOR VX-9 VAMPIRES [J] . Alan Kenny Combat Aircraft Monthly . 2014,第8期

机译：吸血鬼访谈：操作测试总监VX-9吸血鬼LT PATRICK MARTIN访谈
3. Long-Term Clinical Outcomes After Filter Protection During Percutaneous Coronary Intervention in Patients With Attenuated Plaque　― 1-Year Follow up of the VAMPIRE 3 (Vacuum Aspiration Thrombus Reemoval 3) Trial ― [J] . Kiyoshi Hibi, Ken Kozuma, Nobuhiko Maejima, Circulation journal . 2021,第1期

机译：过滤保护后的长期临床结果在经皮冠状动脉介入期间的减毒斑块的患者 - 1年的吸血鬼3（真空吸病血栓再覆盖3）试验 -
4. A Theil Index-Based Countermeasure Against Advanced Vampire Attack in Internet of Things [C] . Cong Pu, Jacqueline Brown, Logan Carpenter IEEE International Conference on High Performance Switching and Routing . 2020

机译：基于泰尔指数的物联网高级吸血鬼攻击对策
5. The Dance of the Vampires: A Gothic Ballad with a Hint of Garlic. Adaptation by Tatyana Wilds from 'Dance of the Vampires', a musical by Jim Steinman [D] . Wilds, Tatyana V. 2013

机译：吸血鬼之舞：带有大蒜味的哥特式民谣。 Tatyana Wilds改编自Jim Steinman的音乐剧《吸血鬼之舞》
6. Towards Development of an Anti-Vampire Bat Vaccine for Rabies Management: Inoculation of Vampire Bat Saliva Induces Immune-Mediated Resistance [O] . Horacio A. Delpietro, Roberto G. Russo, Charles E. Rupprecht, 2021

机译：对狂犬病管理的抗吸血鬼蝙蝠疫苗的开发：接种吸血鬼蝙蝠唾液诱导免疫介导的抗性
7. Ghettoized Vampires. A study of children's vampire literature and its significance for the vampire literature genre [O] . Kostenniemi Peter 2013

机译：Ghettoized吸血鬼。儿童吸血鬼文学研究及其对吸血鬼文学体裁的意义

Vampire

摘要

著录项

相似文献

相关主题

期刊订阅