“Kripke structure”的概念、定义、翻译、参考文献-科学参考

单词	Kripke structure
释义	Kripke structure Encyclopedia 理学形式模型释 Kripke structure克里普克结构针对正规模态逻辑提出的一种语义结构。由一个表示所有可能世界的集合和该集合上的若干关系组成。它的基本形式是一个图，节点表示系统的可达状态，边用来表示状态间可能的迁移。由美国学者S.A.克里普克[注]（Saul Aaron Kripke，1940～）于1963年提出。 Computer 人工智能人工智能逻辑释文 Kripke structure克里普克结构
随便看	The Dance with Musical Instruments of Bamboo Slips Collected by Tsinghua University The Dancing Girl From Izu The Dancing of Tang Dynasty The Danish National Research Foundation’s Centre for Textile Research The Danish Poet The Danube Waves the Daoist dictionary The Dao of Confucius and Modern Life The Daring King's Flag The Darjeeling limited The Dark Glow of the Mountains The Dark Secrets of the Qing Court the data of measured profile section the date of no-executing the date of no-trial The Daughter Hibiscus The daughter of Sláva The Daughter of The Party The Daughter of the Party The Dawn The Dawns Here Are Quiet The Day Lasts More Than a Hundred Years The Day of the Locust The Days Without Lei Feng The Dead Christ

科学参考收录了854744条科技类词条，基本涵盖了常见科技类参考文献及英语词汇的翻译，是科学学习和研究的有利工具。