Automated deduction in geometry. 9th international workshop, ADG 2012, Edinburgh, UK, September 17--19, 2012. Revised selected papers (Q365999): Difference between revisions

Latest revision as of 23:44, 19 March 2024

scientific article

Language	Label	Description	Also known as
English	Automated deduction in geometry. 9th international workshop, ADG 2012, Edinburgh, UK, September 17--19, 2012. Revised selected papers	scientific article

0 references

Automated deduction in geometry. 9th international workshop, ADG 2012, Edinburgh, UK, September 17--19, 2012. Revised selected papers (English)

0 references

0 references

10 September 2013

0 references

0 references

0 references

0 references

0 references

0 references

0 references

0 references

0 references

0 references

0 references

@@ Property / Mathematics Subject Classification ID @@
+-06
@@ Property / Mathematics Subject Classification ID: 68-06 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+T15
@@ Property / Mathematics Subject Classification ID: 68T15 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+B25
@@ Property / Mathematics Subject Classification ID: 00B25 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6207262
@@ Property / zbMATH DE Number: 6207262 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Coq
@@ Property / describes a project that uses: Coq / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-642-40672-0
+Normal rank
@@ Property / OpenAlex ID @@
+W2795415765
@@ Property / OpenAlex ID: W2795415765 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:365999