{"product_id":"d-loveland-w-6th-conference-on-automated-deduction-lecture-notes-in-computer-science-138-9780387115580","title":"6th Conference on Automated Deduction. Lecture Notes in Computer Science 138","description":null,"brand":"Springer-Verlag","offers":[{"title":"Default Title","offer_id":53721278972246,"sku":null,"price":0.0,"currency_code":"EUR","in_stock":false}],"url":"https:\/\/www.momoxbooks.com\/products\/d-loveland-w-6th-conference-on-automated-deduction-lecture-notes-in-computer-science-138-9780387115580","provider":"momoxbooks","version":"1.0","type":"link"}