返回首页 联系帮助
形式语义学的稳定论域理论
下载此书RAR压缩包在线购买PDF电子书
陈仪香著2003 年出版205 页ISBN:7030112644
本书系统论述了计算机语言形式语义的稳定论域理论中的序理论、逻辑结构和拓朴方法,建立稳定论域的逻辑表示以及格表示等。
美术论
(法)罗丹(A.Rodin)讲;( )吉塞尔(P.Gisell)译;曾觉之译1930 年出版399 页ISBN:
总理遗教 第2版
蒋委员长讲1940 年出版123 页ISBN:
超高频天线
(苏)薄瓦(Н.Т.Бова)讲1959 年出版407 页ISBN:15010·814
科学与学庸
蒋介石讲1939 年出版132 页ISBN:
绒线编织大全
(日)日本讲谈社供稿1989 年出版120 页ISBN:7501906289
线性代数 讲义本
周志成讲2010 年出版226 页ISBN:9868439528
政治经济学讲义 下
斯比里顿诺夫讲1954 年出版322 页ISBN:
中医正骨经验概述
杜自明讲;内外科研究所骨伤科整理1960 年出版128 页ISBN:14048·2340
千家诗
李宗为校注讲析1993 年出版343 页ISBN:7532514560