陆汝钤出版图书计算机语言的形式语义作者名称陆汝钤作品时间1992年12月《计算机语言的形式语义》是1992年科学出版社出版的图书，作者是陆汝钤
计算系统的形式语义作者名称陆汝钤作品时间2017年1月1日《计算系统的形式语义》是2017年清华大学出版社出版的图书，作者是陆汝钤
人工智能下册作者名称陆汝钤作品时间1996年09月01日《人工智能下册》是1996年科学出版社出版的图书，作者是陆汝钤
知识科学与计算科学作者名称陆汝钤作品时间2003年1月本书是在国家自然科学基金委员会信息学部主持下，对知识科学和计算科学的最新进展进行充分探讨的基础上形成的
以上内容由大学时代综合整理自互联网，实际情况请以官方资料为准。
