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

单词	Kripke structure
释义	Kripke structure Encyclopedia 理学形式模型释 Kripke structure克里普克结构针对正规模态逻辑提出的一种语义结构。由一个表示所有可能世界的集合和该集合上的若干关系组成。它的基本形式是一个图，节点表示系统的可达状态，边用来表示状态间可能的迁移。由美国学者S.A.克里普克[注]（Saul Aaron Kripke，1940～）于1963年提出。 Computer 人工智能人工智能逻辑释文 Kripke structure克里普克结构
随便看	都桑姆，A. 都气丸都水监都江堰都江堰上皇观唐杉都江堰二王庙512震后修复工程都江堰二王庙戏楼都江堰人居都江堰历史文化名城保护规划都江堰史都江堰奎光塔都江堰工程都江堰市都江堰市大观镇红梅村古荔枝树都江堰市普照寺古楠木都江堰市离堆公园内张松银杏都江堰市聚源镇导江村古银杏都江堰市赵公庙古银杏都江堰市马祖村古银杏都江堰灌区都江堰离堆公园都江堰离堆公园内紫薇佛掌都江堰离堆公园内紫薇屏都江堰离堆公园内紫薇花瓶都江堰青城山天师洞道观内古银杏

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