Automated Reasoning Essays in Honor of Woody Bledsoe / edited by Robert Stephen Boyer.

These essays have been written to honor W. W. Bledsoe, a scientist who has contributed to such diverse fields as mathematics, systems analysis, pattern recognition, biology, artificial intelligence, and automated reasoning. The first essay provides a sketch of his life, emphasizing his scientific co...

Full description

Saved in:
Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Boyer, Robert Stephen (Editor)
Format: eBook
Language:English
Published: Dordrecht : Springer Netherlands : Imprint: Springer, 1991.
Edition:1st ed. 1991.
Series:Automated Reasoning Series, 1
Springer eBook Collection.
Subjects:
Online Access:Click to view e-book
Holy Cross Note:Loaded electronically.
Electronic access restricted to members of the Holy Cross Community.