Intelligent computer mathematics. 18th symposium, Calculemus 2011, and 10th international conference, MKM 2011, Bertinoro, Italy, July 18--23, 2011. Proceedings (Q555659): Difference between revisions

Latest revision as of 19:04, 19 March 2024

scientific article

Language	Label	Description	Also known as
English	Intelligent computer mathematics. 18th symposium, Calculemus 2011, and 10th international conference, MKM 2011, Bertinoro, Italy, July 18--23, 2011. Proceedings	scientific article

Statements

instance of

scholarly article

0 references

title

Intelligent computer mathematics. 18th symposium, Calculemus 2011, and 10th international conference, MKM 2011, Bertinoro, Italy, July 18--23, 2011. Proceedings (English)

0 references

zbMATH Open document ID

1218.68014

0 references

DOI

10.1007/978-3-642-22673-1

0 references

published in

Lecture Notes in Computer Science

0 references

publication date

25 July 2011

0 references

Mathematics Subject Classification ID

0 references

0 references

0 references

0 references

describes a project that uses

0 references

0 references

0 references

0 references

0 references

0 references

0 references

0 references

MaRDI publication profile

0 references

full work available at URL

https://doi.org/10.1007/978-3-642-22673-1

0 references

OpenAlex ID

W2901504805

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:555659

@@ Property / describes a project that uses @@
+Theorema
@@ Property / describes a project that uses: Theorema / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Mizar
@@ Property / describes a project that uses: Mizar / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+EgoMath
@@ Property / describes a project that uses: EgoMath / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Coq/SSReflect
@@ Property / describes a project that uses: Coq/SSReflect / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Coq
@@ Property / describes a project that uses: Coq / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+MML
@@ Property / describes a project that uses: MML / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+LATIN
@@ Property / describes a project that uses: LATIN / 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-22673-1
+Normal rank
@@ Property / OpenAlex ID @@
+W2901504805
@@ Property / OpenAlex ID: W2901504805 / rank @@
+Normal rank