Leaning search control knowlledge for equational deduction

🟢 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-25). 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.

Product Details

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

Recorded specifications

No measured specifications are on file for barcode 9783898382304 yet. Barcodes that people look up get enriched over time.

About EAN Barcode 9783898382304

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

Frequently Asked Questions

What product has barcode 9783898382304?

Leaning search control knowlledge for equational deduction by AKA

Is there a recall on barcode 9783898382304?

See the safety check above — we compare every barcode against EU Safety Gate, US FDA, US CPSC and Health Canada.

What country is barcode 9783898382304 from?

The prefix 978 was issued by International ISBN Agency (ISBN (Books)). That is where the brand owner registered the barcode — not necessarily where the product is made.

ProductGuru is an independent information service showing basic product identifiers and public GS1 data. Not legal or safety advice — for the definitive record, check the brand owner.

Was this page helpful?