- 授权协议: GPL
- 开发语言: Java
- 操作系统: 跨平台
- 软件首页: http://sourceforge.net/projects/mathocr/
- 软件文档: http://sourceforge.net/p/mathocr/wiki/Home/
软件介绍
MathOCR是用Java语言编写的一个印刷体数学公式识别系统，可以识别图片中数学公式并转换为相应的LaTeX代码。
Types and Programming Languages
Benjamin C. Pierce / The MIT Press / 2002-2-1 / USD 95.00
A type system is a syntactic method for automatically checking the absence of certain erroneous behaviors by classifying program phrases according to the kinds of values they compute. The study of typ......一起来看看 《Types and Programming Languages》 这本书的介绍吧!
