CartSellback ListOrder LookupSupport
ValoreBooks logo
Cancel
Showing 1 - 4 of 4 Results
1.
Frontiers of Combining Systems : 8th International Symposium, FroCoS 2011, Saarbrücken, Ger...
Frontiers of Combining Systems : 8th International Symposium, FroCoS 2011, Saarbrücken, Ger... by Tinelli, Cesare, Sofronie-S... ISBN: 9783642243639 List Price: $72.00
$64.90 (Save 9%)
2.
Tools and Algorithms for the Construction and Analysis of Systems : 21st International Confe...
Tools and Algorithms for the Construction and Analysis of Systems : 21st International Confe... by Baier, Christel, Tinelli, C... ISBN: 9783662466803 List Price: $119.00
$51.31 (Save 56%)
3.
Description Logic, Theory Combination, and All That : Essays Dedicated to Franz Baader on th...
Description Logic, Theory Combination, and All That : Essays Dedicated to Franz Baader on th... by Lutz, Carsten, Sattler, Uli... ISBN: 9783030221010 List Price: $109.99
$51.31 (Save 53%)
4.
Automated Deduction - CADE 29 : 29th International Conference on Automated Deduction, Rome, ...
Automated Deduction - CADE 29 : 29th International Conference on Automated Deduction, Rome, ... by Pientka, Brigitte, Tinelli,... ISBN: 9783031384981 List Price: $49.99

OUT OF STOCK

See Availability on Amazon