Automatic programming; Specifications; Synthesis; Computer logic; Numerical methods and procedures; Theorems; Automated deduction; Deductive tableau; Formal methods; Program transformation; Program synthesis; Theorem proving;
机译:演绎程序综合的基础
机译:再次回到基础知识:按照演绎方法重新定义信息和相关的LIS概念
机译:自动化弱存储程序的演绎验证(扩展版)
机译:在关键中的浮点Java程序的演绎验证
机译:演绎数据库和逻辑程序中的不确定性推理
机译:Fas诱导的程序性细胞死亡是由Ras调节的O2合成介导的。
机译:演绎程序综合基础
机译:演绎编程综合。