...
机译:陈述式命令式:分布式逻辑中的经验和猜想
University of California, Berkeley;
机译:祈使逻辑的新基础:纯粹祈使推理
机译:势在必行与陈述约束规范语言:受控实验
机译:与自闭症谱系疾病的幼儿语言的必要和宣言性意图沟通协会:META分析
机译:祈使式分布式图算法的声明模式
机译:强制性命令真的必要吗?对无法进行阴茎-阴道性交的异性恋个体经历的探索性研究。
机译:强制性和面向对象的分布式程序的频繁声明和取消引用消除
机译:逻辑程序作为归纳逻辑程序设计中的声明和程序偏差