A Tribute to Woody Bledsoe

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