E. J. Gilbert

AUTOMATIC THEOREM PROOF-CHECKING IN SET THEORY. A Preliminary Report.

W. W. Bledsoe, E. J. Gilbert, W. Bledsoe, 1967 .

On the Identifiability Problem for Functions of Finite Markov Chains

E. J. Gilbert, 1959 .

The matching problem

E. J. Gilbert, 1956 .