当前位置:首页 > 名称
大约有2,000项符合查询结果项。(搜索耗时:0.0147秒)
为您推荐: 大规模语言模型 大语言模型 原理与工程实践 多模态大模型 技术原理与实战 人工智能三部曲3册 给孩子讲大模型 模型 对象模型
-
-
-
-
-
-
-
-
软件工程形式化方法与语言 【工业技术】
李莹,吴江琴著2010 年出版200 页ISBN:9787308066679本书第一部分介绍了Z语言的背景知识,包括集合论和一阶谓词演算等概念及其形式化表达方法;第二部分介绍了Z语言构成及其规格说明的结构化,引入求精理论;第三部分介绍了Martin-Lof类型理论,及其规则定义和推导演算...
-
景洪市嘎洒镇傣族语言文字使用现状及其演变 【语言文字】
赵凤珠主编2010 年出版336 页ISBN:9787100073912本书以云南南部的西双版纳傣族自治州景洪市嘎洒镇为例,对傣族语言文字的使用现状及其演变过程进行实地考察。
-
