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 条

[1] A tribute to Woody Bledsoe
Hines, L
[J]. JOURNAL OF AUTOMATED REASONING, 1997, 18 (01) : 1 - 4
[2] Woody Bledsoe - His life and legacy
Ballantyne, M
Boyer, RS
Hines, L
[J]. AI MAGAZINE, 1995, 17 (01) : 7 - 20
[3] The Heine–Borel Challenge Problem. In Honor of Woody Bledsoe
Erica Melis
[J]. Journal of Automated Reasoning, 1998, 20 : 255 - 282
[4] The Heine-Borel challenge problem. In honor of Woody Bledsoe
Melis, E
[J]. JOURNAL OF AUTOMATED REASONING, 1998, 20 (03) : 255 - 282
[5] A PERSONAL TRIBUTE TO ALLEN,WOODY
HARRIS, JB
[J]. POSITIF, 1995, (408): : 33 - 35
[6] HERMAN-HERD ROUNDUP + A TRIBUTE TO HERMAN,WOODY
STEWART, Z
[J]. DOWN BEAT, 1993, 60 (09): : 11 - 11
[7] Goody Bledsoe
Neilson, Shane
[J]. FIDDLEHEAD, 2008, (237): : 109 - 111
[8] Working parts - Bledsoe,LJ
Rimpau, I
[J]. LIBRARY JOURNAL, 1997, 122 (06) : 120 - &
[9] Steve Moss, Recipient of the 2003 Woody Award: A Happy Belated Tribute
Merrilea J. Mayo
[J]. MRS Bulletin, 2004, 29 (9) : 658 - 659
[10] Steve Moss, recipient of the 2003 Woody award: A happy belated tribute
Mayo, MJ
[J]. MRS BULLETIN, 2004, 29 (09) : 658 - 658

← 1 2 3 4 5 →