David W. Bennett

Publication Activity (10 Years)

Years Active: 1973-1995
Publications (10 Years): 0

Publications

Jae Y. Lew, Dan J. Trudnowski, Mark S. Evans, David W. Bennett
Micro Manipulator Motion Control to Suppress Macro Manipulator Structural Vibrations. ICRA (1995)
David W. Bennett
Junctions. Notre Dame J. Formal Log. 21 (1) (1980)
David W. Bennett
A note on the completeness proof for natural deduction. Notre Dame J. Formal Log. 18 (1) (1977)
David W. Bennett
An elementary completeness proof for a system of natural deduction. Notre Dame J. Formal Log. 14 (3) (1973)