Herbrand Award Acceptance Speech

被引：0

作者：

Peter B. Andrews

机构：

[1] Carnegie Mellon University,Department of Mathematical Sciences

来源：

Journal of Automated Reasoning | 2003年 / 31卷

关键词：

Herbrand's theorem; higher-order logic; TPS;

D O I：

暂无

中图分类号：

学科分类号：

摘要：

This is a slightly enhanced version of the acceptance speech given by the author after receiving the Herbrand Award at the 19th International Conference on Automated Deduction (CADE-19) in Miami, Florida, on August 1, 2003. Historical matters related to Herbrand's theorem, higher-order logic, and the author's work are discussed. Contributions by others that have been helpful to the author are noted.

引用

页码：169 / 187

页数：18

共 50 条

[1] Herbrand Award acceptance speech
Andrews, PB
[J]. JOURNAL OF AUTOMATED REASONING, 2003, 31 (02) : 169 - 187
[2] Richmond award acceptance speech
Harris, WW
[J]. PEDIATRICS, 1998, 102 (03) : 621 - 624
[3] DMAI AWARD ACCEPTANCE SPEECH
不详
[J]. COLOURAGE, 1976, 23 (20): : 53 - 55
[4] REESE AWARD ACCEPTANCE SPEECH
FLOCK, A
[J]. MINNESOTA MEDICINE, 1986, 69 (08) : 471 - 471
[5] International Lead Award Acceptance Speech
Pavlov, Detchko
[J]. JOURNAL OF POWER SOURCES, 2011, 196 (08) : 3689 - 3689
[6] ACCEPTANCE SPEECH FOR THE 1993 CLARK AWARD
ZHANG, YX
[J]. GEOCHIMICA ET COSMOCHIMICA ACTA, 1994, 58 (08) : 1989 - 1990
[7] 2013 CCCC Exemplar Award Acceptance Speech
Gilyard, Keith
[J]. COLLEGE COMPOSITION AND COMMUNICATION, 2014, 65 (03) : 455 - 457
[8] BENNETT-AWARD ACCEPTANCE SPEECH, 1994
TUOHY, F
[J]. HUDSON REVIEW, 1995, 48 (03): : 358 - &
[9] BENNETT-AWARD ACCEPTANCE SPEECH, 1986
GORDIMER, N
[J]. HUDSON REVIEW, 1987, 40 (02): : 182 - 183
[10] 2009 CCCC Exemplar Award Acceptance Speech
Villanueva, Victor
[J]. COLLEGE COMPOSITION AND COMMUNICATION, 2010, 61 (03) : 581 - 582

← 1 2 3 4 5 →