智能科学

关注度： 0

承担课题

[全部]

[收起]

论文专著

专著：计算机语言的形式语义、人工智能（上）[全部]

专著：计算机语言的形式语义、人工智能（上）[收起]

获奖情况

华罗庚数学奖 全国科学大会奖 中国科学院重大成果一等奖 中科院科技进步一等奖 国家科技进步二等奖...[全部]

华罗庚数学奖 全国科学大会奖 中国科学院重大成果一等奖 中科院科技进步一等奖 国家科技进步二等奖[收起]

研发成果

[全部]

[收起]

专利发明

[全部]

[收起]

引用评价

[全部]

[收起]

成果鉴定

[全部]

[收起]

应用推广

[全部]

[收起]