Automated Reasoning
Essays in Honor of Woody Bledsoe
1st Edition
Published on 30. September 1991
Book
Hardback
XI, 365 pages
978-0-7923-1409-7 (ISBN)
More details
Series
Edition
1., 991
Language
English
Place of publication
Dordrecht
United States
Target group
College/higher education
Professional and scholarly
Research
Illustrations
XI, 365 p.
Dimensions
Height: 23.5 cm
Width: 15.5 cm
Weight
820 gr
ISBN-13
978-0-7923-1409-7 (9780792314097)
DOI
10.1007/978-94-011-3488-0
Schweitzer Classification
Other editions
Additional editions
E-Book
12/2012
Springer
€96.29
Available for download
Book
10/2012
Springer
€106.99
Shipment within 15-20 days