Author

Donald F. Geddis

Observed name: Donald Geddis

Institution: Stanford University

Observed institution: Stanford University

OpenAlex ID: A5035521145

Is there any need for domain-dependent control information?

1991 · Matthew L. Ginsberg, Donald F. Geddis · 20

Caching and non-horn inference in model elimination theorem provers

1995 · Donald F. Geddis · 3

The formalization of a knowledge base for English

1988 · Donald Geddis, 直己井ノ上, et al.

Works count: 3

Citation count: 23

H-index: 2

I10-index: 1