首页> 外文OA文献 >Vx86: x86 assembler simulated in C powered by automated theorem proving

【2h】

Vx86: x86 assembler simulated in C powered by automated theorem proving

机译：Vx86：由C模拟的x86汇编程序，由自动化定理证明提供支持

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Stefan Maus; Michał Moskal; Wolfram Schulte;
展开▼
作者单位

展开▼
年度 2008
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. A symbolic finite-state approach for automated proving of theorems in combinatorial game theory [J] . Thanatipanonda T, Zeilberger D Journal of difference equations and applications . 2009,第2期

机译：组合博弈论中自动证明定理的符号有限状态方法
2. AUTOMATED PROVING AND ANALYSIS OF GEOMETRIC THEOREMS IN COORDINATE-FREE FORM BY USING THE ANTICOMMUTATIVE GROEBNER BASIS METHOD [J] . I. J. Tchoupaeva Journal of Mathematical Sciences . 2006,第5期

机译：基于反对流格罗布纳法的无坐标形式几何定理的自动证明和分析
3. The CADE-27 Automated theorem proving System Competition - CASC-27 [J] . Sutcliffe Geoff AI communications . 2019,第5a6期

机译：CADE-27自动定理证明系统竞争 - CASC-27
4. Vx86: x86 Assembler Simulated in C Powered by Automated Theorem Proving [C] . Stefan Maus, Michal Moskal, Wolfram Schulte Algebraic Methodology and Software Technology . 2008

机译：Vx86：在自动定理证明的支持下用C模拟的x86汇编器
5. Automated theorem proving by translation to description logic. [D] . Arhami, Negin. 2015

机译：通过翻译成描述逻辑来自动证明定理。
6. On Some Approximation Theorems for Power q-Bounded Operators on Locally Convex Vector Spaces [O] . Ludovic Dan Lemle -1

机译：局部凸向量空间上幂q有界算子的一些逼近定理
7. Representation Theorems and the Semantics of Non-Classical Logics , and Applications to Automated Theorem Proving [O] . Viorica Sofronie-stokkermans 2002

机译：表示定理和非经典逻辑的语义学及其在自动定理证明中的应用
8. Prove Out of Automated Assembly Line for M564 Delay Arming Mechanisms by Acquisition of 40,000 Units Assembled by Automated Line [R] . Watson, G. M. 1981

机译：通过收购自动化生产线组装的40,000个单元，证明m564延迟装备机构的自动化装配线

Vx86: x86 assembler simulated in C powered by automated theorem proving

著录项

引文网络

相似文献

相关主题

期刊订阅