Jump To : Overview | Titles | Subjects

Bledsoe, W. W.

Overview
Works: 1 works in 0 publications in 0 languages
Titles
Automated theorem proving : = after 25 years / by: Bledsoe, W. W.; Loveland, Donald W.; American Mathematical Society.; Special Session on Automatic Theorem Proving ((1983 :) (Language materials, printed)
 
 
Change password
Login