Automated Deduction in Geometry (Q2849503)

From MaRDI portal
Revision as of 14:57, 21 August 2023 by Importer (talk | contribs) (‎Created a new Item)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific journal
Language Label Description Also known as
English
Automated Deduction in Geometry
scientific journal

    Statements