多种语言
多种语言技术资料下载专区，收录500份相关技术文档、开发源码、电路图纸等优质工程师资源，全部免费下载。
资源总数
500
多种语言 热门资料
查看全部 500 份 →多国语言点阵字库工具
V1.08 (05/17/2012) 1. 增加了两个版本（免费和试用版） 免费版 只对 16点阵有效。 试用版 对所有点阵有效，但是会缺部分字符。 2. 增加热键功能。 3. 修改了多国语言生成.h文件时，start...
2025-03-03
9
Goedel语言是一种说明性逻辑程序设计语言。该语言基于一阶逻辑
Goedel语言是一种说明性逻辑程序设计语言。该语言基于一阶逻辑，引入了一个多态多类的类型系统和多种新的语言成分，支持抽象数据类型和模块化程序设计等技术，语言本身也具有很强的说明性语义。详细介绍了Goedel语言的类型系统及其构造，对在逻辑...
2014-11-26
37