{"product_id":"9783031851896","title":"Proof Assistants and Their Applications in Mathematics and Computer Science (Computer Science Foundations and Applied Logic)","description":"\u003cp\u003eProof assistants are computer programs that help users formally describe mathematical statements and proofs, making them amenable to mechanical checking.\u003c\/p\u003e","brand":"Springer, Berlin; Springer","offers":[{"title":"Default Title","offer_id":52719906718007,"sku":"00000_00000_00000_00000","price":413.23,"currency_code":"MYR","in_stock":false}],"url":"https:\/\/kinokuniya.com.my\/products\/9783031851896","provider":"Books Kinokuniya Malaysia","version":"1.0","type":"link"}