Computer-Aided Reasoning > Editions

by Matt Kaufmann First published July 31st 2000

Computer-Aided Reasoning: An Approach (Advances in Formal Methods)
Published July 31st 2000 by Springer
2000, Hardcover, 270 pages
ISBN:
9780792377443 (ISBN10: 0792377443)
ASIN:
0792377443
Edition language:
English
Average rating:
5.00 (1 rating)
Rate this book
Clear rating
Computer-Aided Reasoning: An Approach
Published January 1st 2011 by Unknown Publisher
Third, Perfect Paperback, 232 pages
ASIN:
B004J8YMAS
Edition language:
English
Average rating:
0.0 (0 ratings)
Rate this book
Clear rating
Computer-Aided Reasoning: An Approach (Advances in Formal Methods)
Published October 12th 2012 by Springer
Softcover reprint of the original 1st ed. 2000, Paperback, 270 pages
ISBN:
9781461370031 (ISBN10: 1461370035)
ASIN:
1461370035
Edition language:
English
Average rating:
0.0 (0 ratings)
Rate this book
Clear rating

per page