automated reasoning 7th international joint conference ijcar 2014 held as part of the vienna summer of logic vienna austria july 19 22 2014 proceedings coles
Unfortunately, this item is no longer available, but we found some similar items you might like.