Executable and formalized logic programming language based on time interval logic

机译：基于答案集编程和时间间隔逻辑约束的XML授权形式语言

机译：线性逻辑中Quipper量子编程语言的Metathory的形式化

机译：方法：可执行间隔时间逻辑中的多媒体

机译：可执行的计算逻辑：结合形式化方法和基于编程语言的系统设计

机译：弥合基于古典逻辑的形式主义与逻辑程序之间的鸿沟

机译：基于区间2型模糊逻辑系统的图像隐写相似度评估

机译：逻辑编程语言Gödel的形式化过程语义

机译：使用转移电子逻辑器件进行精确时间间隔测量的逻辑模块。

机译：用于允许第一计算机程序执行第二计算机程序的应用逻辑，获取第一计算机程序和计算机程序的第二接口的方法和装置的方法和装置，用于第一计算机程序的计算机程序和软件接口可以执行第二计算机程序的应用程序逻辑，以生成计算机程序代码，提供的方法（计算机程序接口）

机译：用于使第一计算机程序执行第二计算机程序的应用逻辑，用于使第一计算机程序和第二计算机程序接口的方法和装置以及用于为其生成计算机程序代码的装置，计算机程序和用于使第一计算机程序能够执行第二计算机程序的应用程序逻辑以提供信息（计算机程序接口）

机译：可编程逻辑控制器系统，可编程逻辑控制器，通信测试支持设备，通信测试支持方法以及可以由该通信测试支持设备执行的计算机程序。