ROSCoq: Robots Powered by Constructive Reals (Q2945622)

From MaRDI portal
scientific article
Language Label Description Also known as
English
ROSCoq: Robots Powered by Constructive Reals
scientific article

    Statements

    Identifiers