{"product_id":"f-joachim-schreiber-ein-fuer-hornklauselmengen-lineares-allgemeines-aussagenlogisches-beweisverfahren-informatik-9783931327477","title":"Ein für Hornklauselmengen lineares, allgemeines aussagenlogisches Beweisverfahren (Informatik)","description":"1996 166 Seiten Broschiert Herbert Utz Verlag,","brand":"Herbert Utz Verlag","offers":[{"title":"Used - good","offer_id":53552407904598,"sku":"9783931327477-G","price":26.79,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0925\/5829\/5382\/files\/product_image_9783931327477_1.jpg?v=1781702214","url":"https:\/\/www.momoxbooks.com\/products\/f-joachim-schreiber-ein-fuer-hornklauselmengen-lineares-allgemeines-aussagenlogisches-beweisverfahren-informatik-9783931327477","provider":"momoxbooks","version":"1.0","type":"link"}