Native American Heritage Month

Computer-Aided Reasoning > Editions

by Matt Kaufmann First published July 31st 2000

Sort by
Format
Language
Editions
Showing 1-3 of 3
Computer-Aided Reasoning: An Approach (Advances in Formal Methods)
Computer-Aided Reasoning: An Approach (Advances in Formal Methods)
Published July 31st 2000 by Springer
2000, Hardcover, 270 pages
Author(s):
ISBN:
9780792377443 (ISBN10: 0792377443)
ASIN:
0792377443
Edition language:
English
Average rating:
5.00 (1 rating)
more details
Rate this book
Clear rating
1 of 5 stars2 of 5 stars3 of 5 stars4 of 5 stars5 of 5 stars
Computer-Aided Reasoning: An Approach
Computer-Aided Reasoning: An Approach (Perfect Paperback)
Published January 1st 2011 by Unknown Publisher
Third, Perfect Paperback, 232 pages
Author(s):
ASIN:
B004J8YMAS
Edition language:
English
Average rating:
0.0 (0 ratings)
more details
Rate this book
Clear rating
1 of 5 stars2 of 5 stars3 of 5 stars4 of 5 stars5 of 5 stars
Computer-Aided Reasoning: An Approach (Advances in Formal Methods)
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
Author(s):
ISBN:
9781461370031 (ISBN10: 1461370035)
ASIN:
1461370035
Edition language:
English
Average rating:
0.0 (0 ratings)
more details
Rate this book
Clear rating
1 of 5 stars2 of 5 stars3 of 5 stars4 of 5 stars5 of 5 stars

per page