Search alternatives:
"biographical" » "geographical", "bibliographical"
Cover Image
Read Now

1
Published 1991
Springer Netherlands
Table of Contents: “...1 A Biographical Sketch of W. W. Bledsoe -- 2 METEORs: High Performance Theorem Provers using Model...”