Generating relevant models (Q809621)

From MaRDI portal
Revision as of 15:48, 13 November 2024 by Daniel (talk | contribs) (‎Created claim: DBLP publication ID (P1635): journals/jar/Ramsay91, #quickstatements; #temporary_batch_1731508824982)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)





scientific article
Language Label Description Also known as
English
Generating relevant models
scientific article

    Statements

    Generating relevant models (English)
    0 references
    0 references
    1991
    0 references
    first-order predicate calculus
    0 references
    Manthey and Bry's model
    0 references

    Identifiers