A Tribute to Woody Bledsoe

被引:0
|
作者
Larry Hines
机构
[1] University of Texas,
来源
关键词
Artificial Intelligence; Mathematical Logic; Algebraic Manipulation;
D O I
暂无
中图分类号
学科分类号
摘要
引用
收藏
页码:1 / 4
页数:3
相关论文
共 50 条