编辑配置文件（在新选项卡中打开） 约翰·A·N·李。 合著者距离 作者ID： lee.john-a-n 发布方式： 约翰·A·N·李。;Lee，J.A.N。 主页： https://ei.cs.vt.edu/~janlee/janlee.html 外部链接： 数据库许可证 已编制索引的文档： 12出版物自1966年起，包括4本书 合著者： 1位合著者具有1联合出版物 11位合作作者 合著者 11 单作者的 1 何旭东 系列 5 IEEE计算历史年鉴 1 计算机历史年鉴 1 《计算机杂志》。A部分/B部分 1 计算的形式方面 领域 9 计算机科学（68至XX） 7 历史与传记（01-XX） 1 数学逻辑和基础（03-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 5出版物有被引用10中的次10文件 引用人▼ 年份▼ 计算机语义。算法、处理器和语言研究。 Zbl 0245.68031号 约翰·A·N·李。 4 1972 计算机数值分析。 Zbl 0173.45402号 Lee，J.A.N。 三 1966 在并发系统的规范和验证中，将谓词转换网与一阶时序逻辑集成。 Zbl 0703.68078号 何旭东;约翰·A·N·李。 1 1990 BASIC语言的形式定义。 Zbl 0226.68041号 Lee，J.A.N。 1 1972 计算机先驱。 Zbl 1159.01339号 Lee，J.A.N。 1 1995 计算机先驱。 Zbl 1159.01339号 Lee，J.A.N。 1 1995 将谓词转换网与一阶时态逻辑集成在并发系统的规范和验证中。 Zbl 0703.68078号 何旭东;约翰·A·N·李。 1 1990 计算机语义。算法、处理器和语言研究。 Zbl 0245.68031号 约翰·A·N·李。 4 1972 BASIC语言的形式定义。 Zbl 0226.68041号 Lee，J.A.N。 1 1972 计算机数值分析。 Zbl 0173.45402号 Lee，J.A.N。 三 1966 所有引用出版物 前5名被引用出版物 全部的 前5名12位作者引用 三 Lotfi Asker扎德 1 安德森，E.R。 1 玛西娅·阿舍尔 1 F.C.贝尔茨。 1 爱德华·肯尼思·布鲁姆 1 Chiu，Charles B。 1 《日光》，埃德加·G·。 1 何旭东 1 沃德·道格拉斯·莫勒 1 莫尔，G.A。 1 拉杰斯瓦里，V。 1 Srinivasa Rao，K。 全部的 前5名8篇连载文章中引用 三 信息科学 1 信息学报 1 计算机物理通信 1 国际科学与技术数学教育杂志 1 应用数学与计算 1 逻辑历史与哲学 1 国际计算机数学杂志 1 计算机科学评论 全部的 前5名在7个字段中引用 7 计算机科学（68至XX） 三 信息与通信理论、电路（94-XX） 2 数学逻辑和基础（03-XX） 2 数值分析（65-XX） 1 历史与传记（01-XX） 1 特殊功能（33至XX） 1 博弈论、经济学、金融学以及其他社会和行为科学（91-XX） 按年份列出的引文