'%20fill='%2325272a'%20stroke='%2325272a'%20stroke-width='0.4'/%3e%3c/clipPath%3e%3c/defs%3e%3cg%20id='Group_626'%20data-name='Group%20626'%20transform='translate(0.279%200.343)'%3e%3cg%20id='Ellipse_3'%20data-name='Ellipse%203'%20transform='translate(-0.279%20-0.343)'%20fill='none'%20stroke='%23f2f2f2'%20stroke-width='1'%3e%3ccircle%20cx='29.5'%20cy='29.5'%20r='29.5'%20stroke='none'/%3e%3ccircle%20cx='29.5'%20cy='29.5'%20r='29'%20fill='none'/%3e%3c/g%3e%3cg%20id='Group_440'%20data-name='Group%20440'%20transform='translate(14.571%2015.937)'%3e%3cg%20id='Group_439'%20data-name='Group%20439'%20transform='translate(0%200)'%20clip-path='url(%23clip-path)'%3e%3cpath%20id='Path_161'%20data-name='Path%20161'%20d='M12.072,22.017,2.137,12.082l0,0-.087-.087a7.027,7.027,0,0,1,9.938-9.938l.083.083.083-.083A7.027,7.027,0,0,1,22.1,11.992Zm-8.8-9.941,8.8,8.8,9.456-9.456a6.223,6.223,0,1,0-8.8-8.8l-.652.652-.652-.652a6.223,6.223,0,0,0-8.8,8.8l.649.649Z'%20transform='translate(2.765%202.765)'%20fill='%2325272a'%20stroke='%2325272a'%20stroke-width='0.4'/%3e%3c/g%3e%3c/g%3e%3c/g%3e%3c/svg%3e)
'%3e%3cg%20id='Group_627'%20data-name='Group%20627'%20transform='translate(652.444%20-620)'%3e%3crect%20id='Rectangle_402'%20data-name='Rectangle%20402'%20width='76'%20height='61'%20rx='30.5'%20transform='translate(997%20766)'%20fill='%23feffff'%20stroke='%23f2f2f2'%20stroke-width='1'/%3e%3cpath%20id='Path_208'%20data-name='Path%20208'%20d='M1506.38,173.694a.639.639,0,0,1-.45-.184.641.641,0,0,1,0-.891.639.639,0,0,1,.45-.184h3.4a.648.648,0,0,1,.39.13.593.593,0,0,1,.22.337l3.05,11.419a.8.8,0,0,0,.28.419.8.8,0,0,0,.48.162h12.5a.64.64,0,0,1,.45.185.64.64,0,0,1,0,.89.64.64,0,0,1-.45.185h-12.5a2.074,2.074,0,0,1-1.25-.423,2.03,2.03,0,0,1-.72-1.093l-2.93-10.952Zm6.36,1.238a.438.438,0,0,0-.18.042.5.5,0,0,0-.14.117.506.506,0,0,0-.08.167.382.382,0,0,0,.01.184l2.12,7.922a.389.389,0,0,0,.14.217.413.413,0,0,0,.25.083h11.01a.413.413,0,0,0,.25-.083.469.469,0,0,0,.15-.217l2.11-7.922a.382.382,0,0,0,.01-.184.366.366,0,0,0-.08-.167.5.5,0,0,0-.14-.117.438.438,0,0,0-.18-.042Zm12.96,13.856a1.639,1.639,0,0,0-2.8-1.164,1.657,1.657,0,0,0-.36,1.794,1.7,1.7,0,0,0,.61.739,1.632,1.632,0,0,0,1.54.152,1.6,1.6,0,0,0,.53-.356,1.513,1.513,0,0,0,.36-.535A1.687,1.687,0,0,0,1525.7,188.788Zm-8.09,0a1.649,1.649,0,0,0-1.97-1.614,1.645,1.645,0,0,0-1.29,1.293,1.714,1.714,0,0,0,.09.951,1.7,1.7,0,0,0,.61.739,1.632,1.632,0,0,0,1.54.152,1.748,1.748,0,0,0,.54-.356,1.631,1.631,0,0,0,.35-.535A1.521,1.521,0,0,0,1517.61,188.788Z'%20transform='translate(-487%20620)'%20fill='%2324272a'/%3e%3c/g%3e%3c/g%3e%3c/svg%3e)
R E Shostak
7th International Conference on Automated Deduction by R E Shostak, Paperback | Indigo Chapters
From Indigo
Current price: $142.95
One moment, we’re checking the availability for this product
R E Shostak
7th International Conference on Automated Deduction by R E Shostak, Paperback | Indigo Chapters
From Indigo
Current price: $142.95
One moment, we’re checking the availability for this product
Size: 1.05 x 9.21 x 1.59
* Product availability, descriptions and images provided by Indigo. Contact Indigo to confirm product details. Prices shown are only available through StyList. Prices may be higher or lower in store or on Indigo's website. Indigo is not required to honour the StyList price if you choose to shop directly with Indigo. Product availability is not guaranteed. Please see Terms of Use.
