.png){kind=logo}
Stock image for illustration purposes only - book cover, edition or condition may vary.
Automated Reasoning
Robert S. . Ed(S): Boyer
€ 128.60
FREE Delivery in Ireland
Description for Automated Reasoning
Paperback. Editor(s): Boyer, Robert S. Series: Automated Reasoning Series. Num Pages: 365 pages, biography. BIC Classification: PB; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 19. Weight in Grams: 581.
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 contributions. The diversity of the fields to which Bledsoe has contributed is reflected in the range of the other essays, which are original scientific contributions by some of his many friends and colleagues. Bledsoe is a founding father of the field of automated reasoning, and a majority of the essays are on that topic. These essays are ... Read more
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 contributions. The diversity of the fields to which Bledsoe has contributed is reflected in the range of the other essays, which are original scientific contributions by some of his many friends and colleagues. Bledsoe is a founding father of the field of automated reasoning, and a majority of the essays are on that topic. These essays are ... Read more
Product Details
Format
Paperback
Publication date
2012
Publisher
Springer Netherlands
Number of pages
365
Condition
New
Series
Automated Reasoning Series
Number of Pages
365
Place of Publication
Dordrecht, Netherlands
ISBN
9789401055420
SKU
V9789401055420
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Automated Reasoning