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: