... Constraint logic programming 受限逻辑程序设计 Logic Programming Languages 逻辑程序语言 distributed logic programming 分布式逻辑程序设计 ...
基于30个网页-相关网页
逻辑程序设计语言 PROLOG Programming in Logic
并行逻辑程序设计语言 KLIC
逻辑式程序设计语言 logic programming language
·2,447,543篇论文数据，部分数据来源于NoteExpress
首先定义了一种新的适用于描述区间时序逻辑程序语言语义的表达式格局和命令格局。
This thesis then investigates the operational semantics of MSVL. A new configuration with intervals for MSVL programs is defined.
youdao
应用推荐
模块上移
模块下移
不移动