Proof and Computation (Q4582990)

From MaRDI portal
scientific article; zbMATH DE number 6925253
Language Label Description Also known as
English
Proof and Computation
scientific article; zbMATH DE number 6925253

    Statements

    title
    Proof and Computation (English)
    0 references
    publication date
    27 August 2018
    0 references

    Identifiers

    DOI
    10.1142/11005
    0 references
    Mathematics Subject Classification ID
    03-06
    0 references
    03Dxx
    0 references
    03F65
    0 references
    03B70
    0 references
    00B25
    0 references
    zbMATH DE Number
    6925253
    0 references
    OpenAlex ID
    W4252005186
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q4582990&oldid=32104960"
    Powered by MediaWiki