Automated Deduction
by
Available Copies
Automated Deduction - CADE-19: 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings ... / Lecture Notes in Artificial Intelligence)
by Baader, Franz [Editor]
- Condition
- Used - Very Good
- Published
- 2003-09-10
- Binding
- Paperback
- ISBN
- 9783540405597
- Quantity Available
- 1
- Seller
-
Spring Branch, Texas, USA
- Item Price
-
A$76.25
Show Details
Description:
Springer, 2003-09-10. Paperback. Very Good. 9x6x1. Ex-library paperback in very nice condition with the usual markings and attachments. Except for library markings, interior clean and unmarked. Tight binding. Item Price
A$76.25
Automated Deduction - CADE-16: 16th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999, Proceedings (Lecture Notes in ... / Lecture Notes in Artificial Intelligence)
by Ganzinger, Harald [Editor]
- Condition
- Used - Very Good
- Published
- 1999-07-30
- Binding
- Paperback
- ISBN
- 9783540662228
- Quantity Available
- 1
- Seller
-
Spring Branch, Texas, USA
- Item Price
-
A$10.53
Show Details
Description:
Springer, 1999-07-30. Paperback. Very Good. 6x1x9. Ex-library paperback in very nice condition with the usual markings and attachments. Item Price
A$10.53
Automated Deduction - CADE-18: 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 Proceedings (Lecture Notes ... / Lecture Notes in Artificial Intelligence)
by Voronkov, Andrei [Editor]
- Condition
- Used - Very Good
- Published
- 2002-07-17
- Binding
- Paperback
- ISBN
- 9783540439318
- Quantity Available
- 1
- Seller
-
Spring Branch, Texas, USA
- Item Price
-
A$76.31
Show Details
Description:
Springer, 2002-07-17. Paperback. Very Good. Ex-library paperback in very nice condition with the usual markings and attachments. Text block clean and unmarked. Tight binding. Item Price
A$76.31
Automated Deduction - Cade-13: 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30 - August 3, 1996. Proceedings ... / Lecture Notes in Artificial Intelligence)
by McRobbie, Michael A. [Editor]; Slaney, J.K. [Editor];
- Condition
- Used - Very Good
- Published
- 1996-07-01
- Binding
- Paperback
- ISBN
- 9783540615118
- Quantity Available
- 1
- Seller
-
Spring Branch, Texas, USA
- Item Price
-
A$49.38
Show Details
Description:
Springer, 1996-07-01. Paperback. Very Good. Ex-library paperback in very nice condition with the usual markings and attachments. Text block clean and unmarked. Tight binding. Item Price
A$49.38
Automated Deduction - CADE-12: 12th International Conference on Automated Deduction, Nancy, France, June 26 - July 1, 1994. Proceedings (Lecture Notes ... / Lecture Notes in Artificial Intelligence)
by Bundy, Alan [Editor]
- Condition
- Used - Very Good
- Published
- 1994-07-22
- Binding
- Paperback
- ISBN
- 9783540581567
- Quantity Available
- 1
- Seller
-
Spring Branch, Texas, USA
- Item Price
-
A$69.27
Show Details
Description:
Springer, 1994-07-22. Paperback. Very Good. 6x1x9. 0387581561 Ex-library paperback in very nice condition with the usual markings and attachments. Item Price
A$69.27
Automated Deduction - CADE-15: 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998, Proceedings (Lecture Notes in ... / Lecture Notes in Artificial Intelligence)
by Kirchner, Claude [Editor]; Kirchner, Helene [Editor];
- Condition
- Used - Very Good
- Published
- 1998-07-31
- Binding
- Paperback
- ISBN
- 9783540646754
- Quantity Available
- 1
- Seller
-
Spring Branch, Texas, USA
- Item Price
-
A$73.71
Show Details
Description:
Springer, 1998-07-31. Paperback. Very Good. 6x1x9. Ex-library paperback in very nice condition with the usual markings and attachments. Item Price
A$73.71
Automated Deduction - CADE-19
- Condition
- New
- Published
- pp. 524
- Binding
- Papeback
- ISBN
- 9783540405597
- Quantity Available
- 1
- Seller
-
Woodside, New York, USA
- Item Price
-
A$323.46
Show Details
Description:
Springer , pp. 524 . Papeback. New. Item Price
A$323.46
Automated Deduction - CADE-15
- Condition
- Used
- Published
- pp. 464
- Binding
- Papeback
- ISBN
- 9783540646754
- Quantity Available
- 1
- Seller
-
Woodside, New York, USA
- Item Price
-
A$63.46
Show Details
Description:
Springer , pp. 464 . Papeback. Used. Item Price
A$63.46
Automated Deduction - CADE-17
- Condition
- New
- Published
- pp. 540
- Binding
- Papeback
- ISBN
- 9783540676645
- Quantity Available
- 1
- Seller
-
Woodside, New York, USA
- Item Price
-
A$113.33
Show Details
Description:
Springer , pp. 540 . Papeback. New. Item Price
A$113.33
Automated Deduction - CADE-21
- Condition
- New
- Published
- pp. 538
- Binding
- Papeback
- ISBN
- 9783540735946
- Quantity Available
- 1
- Seller
-
Woodside, New York, USA
- Item Price
-
A$112.81
Show Details
Description:
Springer , pp. 538 . Papeback. New. Item Price
A$112.81
Automated Deduction - CADE-25: 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings (Lecture Notes in Computer Science)
- Condition
- New
- Published
- pp. 596
- Binding
- Papeback
- ISBN
- 9783319214009
- Quantity Available
- 1
- Seller
-
Woodside, New York, USA
- Item Price
-
A$124.00
Show Details
Description:
Springer , pp. 596 . Papeback. New. Item Price
A$124.00
Automated Deduction - CADE 26: 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6–11, 2017, Proceedings (Lecture Notes in Computer Science)
- Condition
- New
- Published
- pp. 570
- Binding
- Papeback
- ISBN
- 9783319630458
- Quantity Available
- 1
- Seller
-
Woodside, New York, USA
- Item Price
-
A$181.65
Show Details
Description:
Springer , pp. 570 . Papeback. New. Item Price
A$181.65
Automated Deduction - CADE-12: 12th International...
- Condition
- New
- Published
- Binding
- Papeback
- ISBN
- 9783540581567
- Quantity Available
- 1
- Seller
-
Woodside, New York, USA
- Item Price
-
A$124.78
Show Details
Description:
Springer , . Papeback. New. Item Price
A$124.78
Automated Deduction - CADE-18
- Condition
- New
- Published
- pp. 552
- Binding
- Papeback
- ISBN
- 9783540439318
- Quantity Available
- 1
- Seller
-
Woodside, New York, USA
- Item Price
-
A$347.85
Show Details
Description:
Springer , pp. 552 . Papeback. New. Item Price
A$347.85