Social processes and proofs of theorems and programs (Q1150266): Difference between revisions

From MaRDI portal
Importer (talk | contribs)
Created a new Item
 
Set OpenAlex properties.
 
(5 intermediate revisions by 4 users not shown)
Property / author
 
Property / author: Alan J. Perlis / rank
Normal rank
 
Property / author
 
Property / author: Alan J. Perlis / rank
 
Normal rank
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / cites work
 
Property / cites work: THE INDEPENDENCE OF THE CONTINUUM HYPOTHESIS / rank
 
Normal rank
Property / cites work
 
Property / cites work: Fidelity in Mathematical Discourse: Is One and One Really Two? / rank
 
Normal rank
Property / cites work
 
Property / cites work: John E. Littlewood (1885-1977). An informal obituary / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3234138 / rank
 
Normal rank
Property / cites work
 
Property / cites work: The axiom of choice / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4099559 / rank
 
Normal rank
Property / cites work
 
Property / cites work: On certain properties of linear estimators / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4121861 / rank
 
Normal rank
Property / full work available at URL
 
Property / full work available at URL: https://doi.org/10.1007/bf03023394 / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W2059325406 / rank
 
Normal rank
links / mardi / namelinks / mardi / name
 

Latest revision as of 10:50, 30 July 2024

scientific article
Language Label Description Also known as
English
Social processes and proofs of theorems and programs
scientific article

    Statements

    Social processes and proofs of theorems and programs (English)
    0 references
    0 references
    0 references
    0 references
    1980
    0 references
    formal mathematics
    0 references
    mathematical proofs
    0 references
    program verification
    0 references
    program specification
    0 references

    Identifiers