For Publishers

All
Subject
Title
Author
Publisher
Series Title

Automated Reasoning

Essays in Honor of Woody Bledsoe

(

)

Editor:

Boyer, Robert S.

Series title:

Automated Reasoning Ser.

ISBN:

978-0-7923-1409-7

Publication Date:

Sep 1991

Publisher:

Springer

Book Format:

Hardback

List Price:

USD $209.00

Book Details

Pages:	380
Detailed Subjects:	Computers / Artificial Intelligence / General Mathematics / Logic

Related Books

View more

Piton - a book by Moore, J. Strother

Automated Reasoning - a book by Boyer Robert Stephen

Resolution Proof Systems - a book by Stachniak, Z.

Automated Reasoning - a book by Boyer Robert Stephen

Featured Books

View more Featured Books

Rate this title:

Select your rating below then click 'submit'.

I do not wish to rate this title.