N. G. de Bruijn (1918--2012) and his road to Automath, the earliest proof checker (Q1935352): Difference between revisions
From MaRDI portal
Set OpenAlex properties. |
ReferenceBot (talk | contribs) Changed an Item |
||
Property / cites work | |||
Property / cites work: Q2751370 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4122841 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5650683 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4175528 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4519579 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q2889489 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The calculus of constructions / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5287513 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A framework for defining logics / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Thirty-five years of automating mathematics. Dedicated to 35 years of de Bruijn's Automath / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5795193 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: N. G. de Bruijn's contribution to the formalization of mathematics / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3999860 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: LCF considered as a programming language / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3250680 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5786798 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The roots of trigonometric integrals / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5797130 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5804302 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3251603 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3254323 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5686521 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4087300 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3905310 / rank | |||
Normal rank |
Latest revision as of 05:23, 6 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | N. G. de Bruijn (1918--2012) and his road to Automath, the earliest proof checker |
scientific article |
Statements
N. G. de Bruijn (1918--2012) and his road to Automath, the earliest proof checker (English)
0 references
15 February 2013
0 references
0 references