ProductGuru Free barcode & product database

Leaning search control knowlledge for equational deduction

AI-assisted, human-edited — this page is drafted with AI from public-source data, then reviewed before publication. How we use AI →

AKA Leaning search control knowlledge for equational deduction is an automatic theorem proving identified by EAN 9781586031503.

9781586031503 Certainty 75%
  • Brand: AKA
  • Category: automatic theorem proving
  • Barcode type: EAN-13 / GTIN-13
  • GS1 registered country: Bookland (ISBN-13)
  • Data confidence: 75%

Product Details

Barcode (EAN/GTIN)9781586031503
Product nameLeaning search control knowlledge for equational deduction
Brand / ManufacturerAKA
Categoryautomatic theorem proving
GS1 Prefix978 — registered in Bookland (ISBN-13)
Barcode typeEAN-13 / GTIN-13
Data certainty75%

Verified Product Facts

The barcode 9781586031503 passes the GS1 mod-10 check-digit test, so it is a structurally valid GTIN. Its 978 prefix was issued by the GS1 member organisation for Bookland (ISBN-13) — registration, not place of manufacture.

Recorded specifications

ManufacturerIOS Press
Package dimensions20.57 × 14.73 × 1.27 centimeters (L×W×H)
Package weight249.48 grams
UNSPSC code55100000

Attributes as recorded in the product catalogue data we hold. Figures describe the packaged article and may differ between production batches.

Buy this product

As an Amazon Associate and eBay Partner we earn from qualifying purchases. Prices and availability are set by the retailer and verified on their site.

⊞ Compare this product
🟢 No recall found for this barcode  ·  We matched this barcode against recall records from EU Safety Gate, US FDA, US CPSC and Health Canada (2026-09-29). Not every recall notice lists a barcode, so this is not a safety guarantee — check the brand owner or the regulator for the definitive record.

More from AKA

Barcode Lookup API

Access this product programmatically via the ProductGuru free API:

GET https://myproduct.guru/scan/9781586031503
GET https://myproduct.guru/api/search?q=9781586031503

No API key required. Returns JSON with product name, brand, manufacturer, and more.

About EAN Barcode 9781586031503

Barcode 9781586031503 is a EAN-13 (GTIN-13) identifying Leaning search control knowlledge for equational deduction in the GS1 global system.

  • Barcode format: EAN-13 / GTIN-13 — 13-digit globally unique product identifier
  • GS1 prefix 978: assigned to companies registered in Bookland (ISBN-13)
  • Manufacturer: AKA
  • Scan compatibility: readable by any smartphone barcode scanner app

Frequently Asked Questions

What product has barcode 9781586031503?

Barcode 9781586031503 is Leaning search control knowlledge for equational deduction, sold under the brand AKA.

Who manufactures barcode 9781586031503?

AKA is recorded as the manufacturer of Leaning search control knowlledge for equational deduction (barcode 9781586031503).

What country is barcode 9781586031503 from?

Based on the GS1 prefix 978, this product was registered in Bookland (ISBN-13).

Is barcode 9781586031503 a valid EAN?

Yes, 9781586031503 is a valid EAN-13 barcode with correct check digit.

⚠️ Data Disclaimer

Data is aggregated from open datasets and may be inaccurate or out of date; some outbound links are affiliate links from which we may earn a commission.

Imprint  |  Terms of Service  |  Privacy Policy  |  Imprint

Found wrong info? Report it

Reports are queued for human review. We don't store this data for marketing.

Was this page helpful?