指称语义 语义网 语义网堆栈 语义网络 计算机程序 语义URL 语义检索 抽象释义 低级语言 语义记忆 串接式编程语言 一体化医学语言系统 本体工程 Joy语言 简单对象访问协议 ACL2 Unicode字型 FP语言 内存屏障 文字蘊涵 本体编辑器 不动点定理 代码 高级消息队列协议 Semantic MediaWiki 术语服务器 函数式响应式编程 规则交换格式 字符编码 Web 2.0 Volatile变量 主题地图 鍵連資料 領域驅動設計 HTML Apache Flink Cyc Python語法及語義 网络本体语言 本体 (信息科学) WordNet OR RuleML研讨会 SNOMED CT Swoogle 模块化本体 Web服务 面向文…
檔的數據庫 NGSI-LD 架构描述语言 数理逻辑 类型推论 資源描述框架 換行 标准模板库 业务流程模型和标记法 Java虚拟机 知识库 Soar (認知架構) Cuneiform语言 心智图 哥德尔不完备定理 NTFS重解析点 巨大全球图 概念图 常识知识库 名字修饰 Python 求值策略 Java和C++的對照 元数据 描述逻辑 IDEF1X 计算语言学 因特网组管理协议 计算机图形 MAP 簡單知識組織系統 TCP/IP协议族 本体语言 布林 (資料類型) 大规模比较法 詞形還原 Lua Λ演算 硬件描述语言 停机
题 概念 ML语言 柯里-霍华德同构 參照 图数据库 知识交换格式 超文本传输协议 元語言 Ruby Clojure PL-SQL 临床术语服务器 Modula-3 杰瑞·福多 模型驱动工程 Icon语言 C Sharp语法 词干提取 算法 形式语言 不可判定问题 基模 (心理學) 时区信息数据库 正则表达式 電子郵件地址 协变与逆变 Vala 情感计算 数据可视化 JavaScript语法 文件系统列表 一阶逻辑 薩頓手語譜寫 LISP 行动者网络理论 蒂姆·伯纳斯-李 可移植文档格式 真值表 知识表示 Java版本歷史 本体构成要素 RDFa 分众分类法 SPARQL 都柏林核心 C++11 意识 Protégé X86 解剖学基础模型 基因本体 分体法 資訊架構 圖書館2.0