N. G. de Bruijn (1918--2012) and his road to Automath, the earliest proof checker (Q1935352): Difference between revisions

@@ Property / cites work @@
+Q2751370
@@ Property / cites work: Q2751370 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4122841
@@ Property / cites work: Q4122841 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5650683
@@ Property / cites work: Q5650683 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4175528
@@ Property / cites work: Q4175528 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4519579
@@ Property / cites work: Q4519579 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2889489
@@ Property / cites work: Q2889489 / rank @@
+Normal rank
@@ Property / cites work @@
+The calculus of constructions
@@ Property / cites work: The calculus of constructions / rank @@
+Normal rank
@@ Property / cites work @@
+Q5287513
@@ Property / cites work: Q5287513 / rank @@
+Normal rank
@@ Property / cites work @@
+A framework for defining logics
@@ Property / cites work: A framework for defining logics / rank @@
+Normal rank
@@ Property / cites work @@
+Thirty-five years of automating mathematics. Dedicated to 35 years of de Bruijn's Automath
+Normal rank
@@ Property / cites work @@
+Q5795193
@@ Property / cites work: Q5795193 / rank @@
+Normal rank
@@ Property / cites work @@
+N. G. de Bruijn's contribution to the formalization of mathematics
+Normal rank
@@ Property / cites work @@
+Q3999860
@@ Property / cites work: Q3999860 / rank @@
+Normal rank
@@ Property / cites work @@
+LCF considered as a programming language
@@ Property / cites work: LCF considered as a programming language / rank @@
+Normal rank
@@ Property / cites work @@
+Q3250680
@@ Property / cites work: Q3250680 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5786798
@@ Property / cites work: Q5786798 / rank @@
+Normal rank
@@ Property / cites work @@
+The roots of trigonometric integrals
@@ Property / cites work: The roots of trigonometric integrals / rank @@
+Normal rank
@@ Property / cites work @@
+Q5797130
@@ Property / cites work: Q5797130 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5804302
@@ Property / cites work: Q5804302 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3251603
@@ Property / cites work: Q3251603 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3254323
@@ Property / cites work: Q3254323 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5686521
@@ Property / cites work: Q5686521 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4087300
@@ Property / cites work: Q4087300 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3905310
@@ Property / cites work: Q3905310 / rank @@
+Normal rank