302EDU
课本
教案
课件
试卷
图书
资源搜索
首页
图书
形式语义－理论
2003年
2003
搜索分类
形式语义学的稳定论域理论
本书系统论述了计算机语言形式语义的稳定论域理论中的序理论、逻辑结构和拓朴方法，建立稳定论域的逻辑表示...
2003.12
按中图号分类
中图号G634
9087
中图号G624
2577
中图号I247.5
2069
中图号G634.413
1407
中图号I267
1294
中图号H31
1206
中图号TP312
904
中图号G634.303
875
中图号TP391.41
739
中图号J222.7
716
中图号G624.203
714
中图号TP3
693
中图号I25
691
中图号I227
679
中图号F270
623
中图号H319.9
601
中图号H125.4
565
中图号H319.4：I
560
中图号G613
479
中图号H319.4
477
按出版社分类
机械工业出版社
2790
高等教育出版社
2080
清华大学出版社
1731
科学出版社
1682
新疆人民出版社
1278
电子工业出版社
1206
南方出版社
1176
青海人民出版社
1074
延边人民出版社
1060
中国人民大学出版社
879
化学工业出版社
868
龙门书局
844
人民邮电出版社
841
法律出版社
834
外语教学与研究出版社
759
北京大学出版社
758
中国农业出版社
713
中国财政经济出版社
706
中国建筑工业出版社
701
中国铁道出版社
688