{"product_id":"математическая-логика-и-автоматическое-доказательство-теорем","title":"Математическая логика и автоматическое доказательство теорем (146120) - Ч. Чень, Р. Ли","description":"\u003cdiv\u003e\n\u003cp\u003e\nМатематическа логика и автоматическо доказателство теорем (146120) - Ч. Чень, Р. Ли е академична книга, която съчетава основите на математическата логика и подходите за автоматично доказване на теореми. Продуктът се предлага от Антикварен магазин - Флимаркет.\n\u003c\/p\u003e \u003cul\u003e\n\u003cli\u003e\n\u003cb\u003eКаталожен номер\u003c\/b\u003e: 146120\u003c\/li\u003e\n\u003cli\u003e\n\u003cb\u003eТема\u003c\/b\u003e: Математическа логика и автоматическо доказателство на теореми\u003c\/li\u003e\n\u003cli\u003e\n\u003cb\u003eАвтори\u003c\/b\u003e: Ч. Чень, Р. Ли\u003c\/li\u003e\n\u003cli\u003e\n\u003cb\u003eТип продукт\u003c\/b\u003e: Антикварна книга\u003c\/li\u003e\n\u003cli\u003e\n\u003cb\u003eПродавач\u003c\/b\u003e: Антикварен магазин - Флимаркет\u003c\/li\u003e\n\u003c\/ul\u003e \u003cp\u003e\nТази книга дава основи и концепции за математическата логика и автоматизираното доказване на теореми, което я прави полезна за студенти и изследователи в области като теоретична информатика, логика и математическа логика. Каталожният номер улеснява идентификацията в каталози на антикварни издания, което я прави подходящо допълнение към колекция от академична литература.\n\u003c\/p\u003e\n\u003c\/div\u003e","brand":"Антикварен магазин - Флимаркет","offers":[{"title":"Default Title","offer_id":54111127765330,"sku":"146120","price":10.63,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/1079\/7934\/2162\/files\/matematiceskaa-logika-i-avtomaticeskoe-dokazatelstvo-teorem-146120-c-cen-r-li-knigi-243.webp?v=1785744842","url":"https:\/\/fleamarket.bg\/products\/%d0%bc%d0%b0%d1%82%d0%b5%d0%bc%d0%b0%d1%82%d0%b8%d1%87%d0%b5%d1%81%d0%ba%d0%b0%d1%8f-%d0%bb%d0%be%d0%b3%d0%b8%d0%ba%d0%b0-%d0%b8-%d0%b0%d0%b2%d1%82%d0%be%d0%bc%d0%b0%d1%82%d0%b8%d1%87%d0%b5%d1%81%d0%ba%d0%be%d0%b5-%d0%b4%d0%be%d0%ba%d0%b0%d0%b7%d0%b0%d1%82%d0%b5%d0%bb%d1%8c%d1%81%d1%82%d0%b2%d0%be-%d1%82%d0%b5%d0%be%d1%80%d0%b5%d0%bc","provider":"Антиквариат - Флимаркет","version":"1.0","type":"link"}