Manifest domains: analysis and description (Q520235)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Manifest domains: analysis and description
scientific article

    Statements

    title
    Manifest domains: analysis and description (English)
    0 references
    author
    Dines Bjørner
    0 references
    publication date
    3 April 2017
    0 references
    zbMATH Keywords
    domain engineering
    0 references
    manifest domains
    0 references
    analysis \& description
    0 references
    prompt calculi
    0 references
    describes a project that uses
    Z
    0 references
    Rodin
    0 references
    cites work
    The B-Book
    0 references
    Q4855695
    0 references
    Q4406531
    0 references
    Q5314479
    0 references
    Q3038590
    0 references
    Domain Engineering
    0 references
    Domain Endurants
    0 references
    Q5688936
    0 references
    Q4390441
    0 references
    Q4845472
    0 references
    Q3405587
    0 references
    Q3996921
    0 references
    Q4845499
    0 references
    Q4845494
    0 references
    Q4230685
    0 references
    Q3777424
    0 references
    Q4934623
    0 references
    Q3575995
    0 references
    Q4331846
    0 references
    Q3992540
    0 references
    Determiners and logic
    0 references
    Q4301167
    0 references

    Identifiers

    zbMATH DE Number
    6699552
    0 references
    OpenAlex ID
    W2488880159
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q520235&oldid=38385653"
    Powered by MediaWiki