An introduction to mechanized reasoning (Q504394): Difference between revisions

@@ Property / Mathematics Subject Classification ID @@
+T15
@@ Property / Mathematics Subject Classification ID: 68T15 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+B35
@@ Property / Mathematics Subject Classification ID: 03B35 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+B14
@@ Property / Mathematics Subject Classification ID: 91B14 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+B26
@@ Property / Mathematics Subject Classification ID: 91B26 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6675067
@@ Property / zbMATH DE Number: 6675067 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+mechanized reasoning
@@ Property / zbMATH Keywords: mechanized reasoning / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+formal methods
@@ Property / zbMATH Keywords: formal methods / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+social choice theory
@@ Property / zbMATH Keywords: social choice theory / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+auction theory
@@ Property / zbMATH Keywords: auction theory / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+kepler98
@@ Property / describes a project that uses: kepler98 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Arrow Gibbard Satterthwaite
@@ Property / describes a project that uses: Arrow Gibbard Satterthwaite / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Isabelle
@@ Property / describes a project that uses: Isabelle / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Flyspeck
@@ Property / describes a project that uses: Flyspeck / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W3105421491
@@ Property / OpenAlex ID: W3105421491 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.02478
@@ Property / arXiv ID: 1603.02478 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:504394