An object-oriented deductive language (Q1360678)

From MaRDI portal
scientific article
Language Label Description Also known as
English
An object-oriented deductive language
scientific article

    Statements

    title
    An object-oriented deductive language (English)
    0 references
    author
    Yves Caseau
    0 references
    publication date
    27 August 1997
    0 references
    zbMATH Keywords
    LAURE object-oriented language
    0 references

    Identifiers

    DOI
    10.1007/BF01530926
    0 references
    zbMATH DE Number
    1036983
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q1360678&oldid=34184529"
    Powered by MediaWiki