Goodreads Choice Awards Finalists 2025

Automated Deduction - CADE-19 > Editions

by Franz Baader First published September 10th 2003

Sort by
Format
Language
Editions
Showing 1-3 of 3
Automated Deduction - CADE-19
Automated Deduction - CADE-19 (Paperback)
Published July 16th 2003 by Springer
2003, Paperback, 524 pages
Author(s):
ISBN:
9783540405597 (ISBN10: 3540405593)
ASIN:
3540405593
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
automated-deduction-cade-19
automated-deduction-cade-19 (Paperback)
Published January 1st 2007 by FisicalBook
Paperback, 0 pages
Author(s):
ASIN:
B007RCAXVA
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
Automated Deduction - CADE-19: 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings
Automated Deduction - CADE-19: 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings (Paperback)
Published October 8th 2014 by Springer
Paperback, 524 pages
Author(s):
ISBN:
9783662188224 (ISBN10: 3662188228)
ASIN:
3662188228
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