No label defined (Q4790649)

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

    Statements

    author
    Andrew A. Adams
    0 references
    Martin Dunstan
    0 references
    Hanne Gottliebsen
    0 references
    Tom Kelsey
    0 references
    Sam Owre
    0 references
    Ursula Martin Webb
    0 references
    publication date
    4 February 2003
    0 references
    zbMATH DE Number
    1863375
    0 references
    describes a project that uses
    AXIOM
    0 references
    Maple
    0 references
    Theorema
    0 references
    OMRS
    0 references
    REDLOG
    0 references
    PROSPER
    0 references
    Isabelle
    0 references
    Isar
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q4790649&oldid=28924574"
    Powered by MediaWiki