automated reasoning,5th international joint conference, ijcar 2010, edinburgh, uk, july 16-19, 2010, proceedings
Jurgen (Edt) Giesl (Author) · springer-verlag new york inc · Physical Book
$ 104.20
$ 109.99
You save: $ 5.79
Choose the list to add your product or create one New List
Go to My WishlistsDo you have a question about the book? Login to be able to add your own question.