Richard Butrick
发表
Richard Butrick,
1986,
Notre Dame J. Formal Log..
Richard Butrick,
Cecil B. Lyon,
Daniel L. Horowitz,
1977,
SIGMOD Rec..
Richard Butrick,
1977,
Notre Dame J. Formal Log..
Richard Butrick,
1977,
Notre Dame J. Formal Log..
Richard Butrick,
1980
.
Richard Butrick,
1995
.
Richard Butrick,
1987,
Notre Dame J. Formal Log..
Richard Butrick,
Daniel Hoskins,
Kenneth Scott,
1981
.
Richard Butrick,
1971,
Philosophy of Science.