Automated deduction in geometry. 4th international workshop, ADG 2002, Hagenberg Castle, Austria, September 4--6, 2002. Revised papers.

DOI10.1007/B95516zbMATH Open1088.68010OpenAlexW2489376520MaRDI QIDQ2492148FDOQ2492148

Author name not available (Why is that?)

Publication date: 6 June 2006

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b95516

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06)

Cites Work

GEOTHER 1.1

Cited In (1)

Title not available (Why is that?)

Uses Software

This page was built for publication: Automated deduction in geometry. 4th international workshop, ADG 2002, Hagenberg Castle, Austria, September 4--6, 2002. Revised papers.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2492148)