No label defined (Q4232479)

From MaRDI portal
scientific article; zbMATH DE number 1262431
Language Label Description Also known as
English
No label defined
scientific article; zbMATH DE number 1262431

    Statements

    author
    Martin Dunstan
    0 references
    Tom Kelsey
    0 references
    Steve Linton
    0 references
    Ursula Martin Webb
    0 references
    publication date
    15 March 1999
    0 references
    zbMATH DE Number
    1262431
    0 references
    zbMATH Keywords
    formal methods
    0 references
    AXIOM computer algebra system
    0 references
    describes a project that uses
    AXIOM
    0 references
    LARCH
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q4232479&oldid=28449477"
    Powered by MediaWiki