LL:线性逻辑
线性逻辑(Linear Logic)常被简写为“LL”,以便在书写和使用过程中提高效率。这一术语常见于综合性领域,尤其是在尚未明确分类的相关学术讨论或技术文献中出现。其核心概念强调资源的精确使用与不可重复性,在计算机科学、逻辑学及语言学等多个交叉学科中具有重要研究价值。
Linear Logic的英文发音
例句
- A translation from time Petri nets to linear logic is presented in this paper.
- 针对传统分析方法的不足,提出了时间Petri网的线性逻辑(LL)表示和时间推理方法。
- A linear logic approach to non-monotonic and inconsistent information
- 非单调性和不一致性的处理&一个基于线性逻辑(LL)的方法
- Linear Logic(LL) Programming : Theory and Applications
- 线性逻辑(LL)式程序设计:理论与应用
- Linear Logic(LL), Petri Nets and Concurrent Computation
- 线性逻辑(LL)、Petri网和并发计算
- An Analysis Method of Petri Nets Based on Linear Logic(LL)
- 一种基于线性逻辑(LL)的Petri网分析方法
本站英语缩略词为个人收集整理,可供非商业用途的复制、使用及分享,但严禁任何形式的采集或批量盗用
若LL词条信息存在错误、不当之处或涉及侵权,请及时联系我们处理:675289112@qq.com。