Proving; Theorems; Axioms; Query languages; Atoms; Inference; Cutting; Claiming;
机译:钢铁厂的隔音。创新技术制定进步战略
机译:作为对这一部分的贡献,编辑们欢迎就主题问题或期刊上发表的最新文章或评论发表评论和辩论。还欢迎访问简短的,具有普遍意义的书面项目,有关进行中的工作的报告,注释和疑问。土耳其和阿塞拜疆民间文学中的色彩象征主义
机译:叙述形式证明(进行中)
机译:正在进行的工作-用于课程指导和实验室实验的通信系统的概念验证原型
机译:证明,实践和进步。
机译:CUFID查询:通过基于随机游走的网络流量估计进行精确的网络查询
机译:查询激励网络中的Sybil证明机制